CNF(Clausal Normal Form) SATisfiability Solver and Generator
Latest release 1.1.1 -
Calls external solvers for (QBF-)CNF-SAT constraints produced by satchmo.
These solvers must be i...
Latest release 1.9.1 -
examples that show how to use satchmo
Latest release 1.8.1 -
For package maintainers and hackage trustees
Latest release 220.127.116.11 -
this driver calls funsat (download from hackage)
to solve CNF-SAT constraints produced by satchmo
Latest release 1.4 -
Graphical modeling tools for sequential teams
Latest release 0.0.2.3 -
This library can be used to generate random sequences of anything
with a behaviour that is adapte...
Latest release 0.0.3.4 -