23 projects
flingo
flingo is a solver for Answer Set Programming (ASP) combined with founded conditional linear constraints
clinguin
An interactive visualizer for clingo
clingraph
A visualizer for graphs defined as facts with special integration for clingo.
potassco-fastlane
A Framework for Answer Set Programming-based Large Neighborhood Search.
Clorm
Clingo ORM (CLORM) provides a ORM interface for interacting with the Clingo Answer Set Programming (ASP) solver
clingo
CFFI-based bindings to the clingo solver.
asplain
A template project.
potassco-benchmark-tool
A benchmark-tool for ASP based systems.
tree-sitter-clingo
Clingo grammar for tree-sitter
meta-tools-clingo
A template project.
viasp
a visualization tool for clingo.
viasp-backend
The backend for the viasp package.
viasp-dash
The dash frontend for the viasp package.
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.
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).
