📄 Template for python based projects.

Non Ground Optimizer for logic programs.

♻️ Experimental formatter for clingo code

🕸️ A visualizer for graphs defined as logic programs

The “Quite OK Image Format” for fast, lossless image compression

a lightweight Graphviz preparation utility for answer set programming

🗃️ A Python ORM-like interface for the Clingo Answer Set Programming (ASP) reasoner

🦮 An introduction to our Answer Set Programming tools focusing on gringo, clingo, and clasp.

📏 Theory propagator for difference logic using clingo's theory language and C++ API.

📅 ASP Library for dates

🤔 A grounder and solver for logic programs.

⚙️ A conflict-driven nogood learning answer set solver

🥞 A converter from FlatZinc into an ASP fact format

⛓️ Extension of clingo to handle constraints over integers

🦩 A flatzinc frontend for clingcon