clingo

Also known as: clasp, gringo

ASP system to ground and solve logic programs

https://potassco.org/

/api/formula/clingo.json (JSON API)

Formula code on GitHub

Current versions:

stable 5.3.0
bottle 🍾 high_sierra, sierra, el_capitan

Depends on:

lua 5.3.5 Powerful, lightweight programming language
python 3.7.0 Interpreted, interactive, object-oriented programming language

Depends on when building from source:

cmake 3.12.0 Cross-platform make
doxygen 1.8.14 Generate documentation for several programming languages

Analytics:

Installs (30 days)
clingo 5,290
Installs on Request (30 days)
clingo 444
Build Errors (30 days)
clingo 26
Installs (90 days)
clingo 7,408
Installs on Request (90 days)
clingo 772
Installs (365 days)
clingo 22,046
Installs on Request (365 days)
clingo 2,286
Fork me on GitHub