|
« Back to VersTracker
|
All Categories
|
All Tags
|
Related:
logic-programming
ai
sat-solver
formal-verification
logic
c++
asp
declarative
optimization
prolog
|
| Package |
Description |
Version |
|
cadical
☆
formula
|
Clean and efficient state-of-the-art SAT solver |
2.2.1 |
|
clingo
☆
formula
|
ASP system to ground and solve logic programs |
5.8.0 |
|
gnu-prolog
☆
formula
|
Prolog compiler with constraint solving |
1.5.0 |
|
kissat
☆
formula
|
Bare metal SAT solver |
|
|
picat
☆
formula
|
Simple, and yet powerful, logic-based multi-paradigm programming language |
3.9.6 |