18 projects
clinguin
An interactive visualizer for clingo
tree-sitter-clingo
Clingo grammar for tree-sitter
Clorm
Clingo ORM (CLORM) provides a ORM interface for interacting with the Clingo Answer Set Programming (ASP) solver
viasp
a visualization tool for clingo.
viasp-backend
The backend for the viasp package.
viasp-dash
The dash frontend for the viasp package.
clingo
CFFI-based bindings to the clingo solver.
ngo
Optimizes non ground logic programs.
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.
clingox
Support library for clingo.
telingo
System to solve dynamic temporal logic programs.
clingraph
A visualizer for graphs defined as facts with special integration for clingo
plingo
Probabilistic extension for clingo
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).
