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 |