3 repos
potassco/clingo
🦉 A grounder and solver for logic programs.
833
2,049 commits
potassco/clasp
⚙️ A conflict-driven nogood learning answer set solver
150
509 commits
potassco/aspcud
A solver for package problems in CUDF format
27
199 commits
