Pinned Loading

1. potassco/clingraph potassco/clingraph Public

   🕸️ A visualizer for graphs defined as logic programs

   Python 30 7

2. potassco/clinguin potassco/clinguin Public

   🐧 Clingo Interactive UI

   Python 28 9

3. potassco/atlingo potassco/atlingo Public

   Automata for dynamic answer set solving

   C++ 1

4. potassco/telingo potassco/telingo Public

   🕰️ A solver for temporal programs.

   Python 22 6

5. asp-game-strategies asp-game-strategies Public

   Learning game strategies in ASP (clingo) using minimax and inductive logic programming (ILASP) ♣️ 🎲

   Python 9

6. awsome-factory-associator awsome-factory-associator Public

   Provides a syntax to define factories with any kind of association. Helping you create models and the environment needed for each test with inline awesome configuration. This hook works with Sails.…

   JavaScript 3 2