mxcl/homebrew — pull request #17170 by domoritz (2013-01-18 13:14:07+00:00)
Title: clasp 2.1.1

This pull request adds a formula for clasp, an answer set solver for (extended) normal logic programs. More information about clasp can be found at http://potassco.sourceforge.net/.

This formula also supports building clasp with multithread support. It can be installed with `brew install clasp --with-mt`.