clasp

Answer set solver for (extended) normal logic programs

Current version:
3.2.0

Homepage:https://potassco.sourceforge.io/

Dependencies

clasp requires the following formula to be installed:

Reverse dependencies

The following formula requires clasp to be installed:

Formula history

Miguel Araújoclasp: fix audit --warning
JCountclasp: fix multithreaded option
ilovezfsclasp 3.2.0
Alex Dunnclasp 3.1.3
Alexis HildebrandtRemove indefinite article from description
Nils Pascal Illenseerclasp 3.1.2
Nikolaus WittensteinAdd descriptions to all remaining homebrew packages
Brett Koonceclasp 3.1.1
Nicolas Ojeda Bargringo 4.4 & clasp 3.1 & aspcud 1.9
Jack Nagelclasp: use make -C
Show all revisions of this formula