Also known as: clasp, gringo
ASP system to ground and solve logic programs
License: MIT
Formula JSON API: /api/formula/clingo.json
Formula code: clingo.rb
on GitHub
Bottle (binary package) installation support provided for:
Apple Silicon | sequoia | ✅ |
---|---|---|
sonoma | ✅ | |
ventura | ✅ | |
Intel | sonoma | ✅ |
ventura | ✅ | |
64-bit linux | ✅ |
Current versions:
stable | ✅ | 5.7.1 |
head | ⚡️ | HEAD |
Depends on:
cffi | 1.17.1 | C Foreign Function Interface for Python |
lua | 5.4.7 | Powerful, lightweight programming language |
python@3.13 | 3.13.1 | Interpreted, interactive, object-oriented programming language |
Depends on when building from source:
cmake | 3.31.3 | Cross-platform make |
doxygen | 1.12.0 | Generate documentation for several programming languages |
Analytics:
Installs (30 days) | |
---|---|
clingo |
136 |
clingo --HEAD |
1 |
Installs on Request (30 days) | |
clingo |
84 |
clingo --HEAD |
1 |
Build Errors (30 days) | |
clingo |
0 |
Installs (90 days) | |
clingo |
556 |
clingo --HEAD |
1 |
Installs on Request (90 days) | |
clingo |
425 |
clingo --HEAD |
1 |
Installs (365 days) | |
clingo |
3,394 |
clingo --HEAD |
5 |
Installs on Request (365 days) | |
clingo |
2,491 |
clingo --HEAD |
5 |