nixpkgs / clasp - Answer set solver for (extended) normal and disjunctive logic programs

Homepage - http://potassco.sourceforge.net/

License - GPL-2.0-or-later

Maintainers - Jesse Haber-Kucharsky

Releases

3.1.4 (expand/collapse)
From commit 06b2897c to 00460bd6