About Anaconda Help Download Anaconda
If you were automatically logged out you may need to refresh the page. You're trying to access a page that requires authentication. ×

potassco / packages

Package Name Access Summary Updated
clingo public A grounder and solver for logic programs. 2024-12-11
clingo-lpx public A solver for logic programs with difference constraints. 2024-09-13
clingcon public A solver for logic programs with linear constraints over integers. 2024-06-21
clingo-dl public A solver for logic programs with difference constraints. 2024-06-21
clorm public ORM interface for the Clingo ASP Solver 2024-05-09
clinguin public A system to build User Interfaces in ASP 2024-04-10
clingraph public A visualizer for graphs defined as a set of facts with special integration for clingo 2024-02-16
telingo public Library with auxilary functions to use along with clingo's python module. 2024-02-16
python-clingox public Library with auxilary functions to use along with clingo's python module. 2024-02-16
plingo public A system for probabilistic reasoning in clingo 2023-06-18

© 2024 Anaconda, Inc. All Rights Reserved. (v4.0.6) Legal | Privacy Policy