About Anaconda Help Download Anaconda

potassco / packages

Package Name Access Summary Updated
clingo public A grounder and solver for logic programs. 2024-10-25
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