12 projects
Clorm
Clingo ORM (CLORM) provides a ORM interface for interacting with the Clingo Answer Set Programming (ASP) solver
clingraph
A visualizer for graphs defined as facts with special integration for clingo
plingo
Probabilistic extension for clingo
clingo
CFFI-based bindings to the clingo solver.
clingox
Support library for clingo.
clingo-lpx
CFFI-based bindings to the clingo-lpx solver.
clingo-dl
CFFI-based bindings to the clingo-dl solver.
clingcon
CFFI-based bindings to the clingcon solver.
pygments-clingo
Syntax highlighting for clingo
pygments-w3c-ebnf
A pygments lexer for the Extended Backus-Naur Format used by the W3C
clingo-lp
clingo[LP] extends the ASP solver clingo with linear constraints as dealt with in Linear Programming (LP).
telingo
System to solve dynamic temporal logic programs.