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