potassco / packages

Package Name Access Summary Updated
clingo public A grounder and solver for logic programs. 2022-07-25
python-clingox public Library with auxilary functions to use along with clingo's python module. 2022-07-20
clingo-lpx public A solver for logic programs with difference constraints. 2022-07-14
telingo public Library with auxilary functions to use along with clingo's python module. 2022-06-15
clingcon public A solver for logic programs with linear constraints over integers. 2022-06-15
clingo-dl public A solver for logic programs with difference constraints. 2022-06-15
plingo public A system for probabilistic reasoning in clingo 2022-06-07
re2c public A lexer generator for C and C++ 2022-06-02
clorm public ORM interface for the Clingo ASP Solver 2022-05-30
clingraph public A visualizer for graphs defined as a set of facts with special integration for clingo 2022-05-03
clingo-lp public clingo with theory propagator for linear programming 2021-09-25
asprin public Qualitative and quantitative optimization in answer set programming. 2021-09-14
asprilo-visualizer public A tool to visualize asprilo problem instances 2021-09-08
asprilo-generator public An instance generator for asprilo 2021-09-08
hqspre public Solving Dependency Quantified Boolean Formulas 2021-07-08
aspcud public A solver for package problems in CUDF format using ASP 2018-05-29
tbb public A high level abstract threading library 2018-05-28
win_flex_bison public A port of the Flex & Bison tools to the Windows platform 2018-05-28

© 2022 Anaconda, Inc. All Rights Reserved. (v2.36.2 57602427) Legal | Privacy Policy