MiniSat 🔗
For decades, MiniSat has served as an excellent, and rather small, CNF-SAT solver. For problems that are easily represented in terms of CNF clauses, MiniSat still serves as an excellent utility with a tiny footprint.
Quick Links:
- http://minisat.se/
- The MiniSat page.
Potassco 🔗
We owe a considerable debt to the good folks at the University of Potsdam, as their collection serves as the backbone of many of our projects. Their advanced ASP grounders, solvers, and related utilities allow us to generate most of our software and systems.
While their software is required to fully many of our resources, we would strongly recommend taking a look at their materials as well, because they provide fairly detailed guides regarding logic programming, system design, etc.
Quick Links:
- https://potassco.org/
- The Clingo grounder and solver.
- Educational Resources
Trust us, we really wan’t to talk about logic programming. To a fault. it may actually be a bad idea.
ASP∀: The Answer Set Programming Research Group 