clasp

Answer set solver for (extended) normal logic programs
https://potassco.org/clasp/ Formula was removed
Last version was
3.3.2
clasp requires the following formula to be installed:
cmake 3.10.2 Cross-platform make

Recent formula history

Dominik Moritz clasp: delete
ilovezfs clasp 3.3.2
Miguel Araújo clasp: fix audit --warning
JCount clasp: fix multithreaded option
ilovezfs clasp 3.2.0

Formula code at GitHub