clingo

ASP system to ground and solve logic programs
https://potassco.org/ Also known as: clasp, gringo

Current version
5.2.2

clingo requires the following formulae to be installed:
cmake 3.11.1 Cross-platform make
doxygen 1.8.14 Generate documentation for several programming languages
python@2 2.7.14_3 Interpreted, interactive, object-oriented programming language

Recent formula history

ilovezfs clingo: depend on python@2
ilovezfs clingo: rename python@2 dependency
ilovezfs clingo: depend on python instead of :python
Dominyk Tiller clingo: add necessary link_overwrites
Dominik Moritz clingo 5.2.2 (new formula)

Formula code at GitHub