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