11 projects
clingox
Support library for clingo.
clingo
CFFI-based bindings to the clingo solver.
clingraph
A visualizer for graphs defined as facts with special integration for clingo
pygments-clingo
Syntax highlighting for clingo
Clorm
Clingo ORM (CLORM) provides a ORM interface for interacting with the Clingo Answer Set Programming (ASP) solver
pygments-w3c-ebnf
A pygments lexer for the Extended Backus-Naur Format used by the W3C
clingo-dl
CFFI-based bindings to the clingo-dl solver.
clingo-lpx
CFFI-based bindings to the clingo-lpx solver.
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.
clingcon
CFFI-based bindings to the clingcon solver.