clasp

Answer set solver for (extended) normal logic programs
https://potassco.org/clasp/

Current version
3.3.2

clasp requires the following formula to be installed:
cmake 3.9.2 Cross-platform make

Formula history

ilovezfs clasp 3.3.2
Miguel Araújo clasp: fix audit --warning
JCount clasp: fix multithreaded option
ilovezfs clasp 3.2.0
Alex Dunn clasp 3.1.3
Alexis Hildebrandt Remove indefinite article from description
Nils Pascal Illenseer clasp 3.1.2
Nikolaus Wittenstein Add descriptions to all remaining homebrew packages
Brett Koonce clasp 3.1.1
Nicolas Ojeda Bar gringo 4.4 & clasp 3.1 & aspcud 1.9
Show all revisions of this formula