Answer set solver for (extended) normal logic programs Formula was removed
Last version was
clasp requires the following formula to be installed:
cmake 3.10.3 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