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.10.2 Cross-platform make
doxygen 1.8.14 Generate documentation for several programming languages

Recent formula history

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