Potassco

Pinned Loading

1. guide guide Public

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

   TeX 95 14

2. clingo clingo Public

   🦉 A grounder and solver for logic programs.

   C++ 843 102

3. clasp clasp Public

   ⚙️ A conflict-driven nogood learning answer set solver

   C++ 151 20

4. clingcon clingcon Public

   ⛓️ Extension of clingo to handle constraints over integers

   C++ 37 6

5. clorm clorm Public

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

   Python 73 5

6. clingraph clingraph Public

   🕸️ A visualizer for graphs defined as logic programs

   Python 35 7