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