Answer set solver for (extended) normal logic programs

Current version

clasp requires the following formula to be installed:
cmake 3.10.0 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