The latest version of satchmo-backends is 1.9.1-0.
lib:satchmo-backends
Modules
- Satchmo.Solver.Clasp
- Satchmo.Solver.Minisat
- Satchmo.Solver.Pcosat
- Satchmo.Solver.Quantor
- Satchmo.Solver.Qube
- Satchmo.Solver.Yices
Dependencies
- base lib:base >=4 && <5
- bytestring lib:bytestring >=0
- containers lib:containers >=0
- process lib:process >=0
- satchmo lib:satchmo >=1.8 && <1.9
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- satchmo-examples exe:Factor
- satchmo-examples exe:HC
- satchmo-examples exe:QBF
- satchmo-examples exe:VC