clasp

Answer set solver for (extended) normal logic programs

Current version:
3.1.3

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

Formula history

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"
Mike McQuaid Revert "clasp: add 3.0.1 bottle."
Dominik Moritz clasp 3.0.1
Show all revisions of this formula