clasp

Answer set solver for (extended) normal logic programs

Current version:
3.2.0

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

Dependencies

clasp requires the following formula to be installed:

Formula history

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
Jack Nagel clasp: use make -C
Mike McQuaid Revert "clasp 3.0.1"
Show all revisions of this formula