The latest version of satchmo is 2.9.9.4-0.
lib:satchmo
Modules
- Satchmo.Binary
- Satchmo.Binary.Op.Common
- Satchmo.Binary.Op.Fixed
- Satchmo.Binary.Op.Flexible
- Satchmo.Boolean
- Satchmo.Code
- Satchmo.Counting
- Satchmo.Data
- Satchmo.Integer
- Satchmo.MonadSAT
- Satchmo.Polynomial
- Satchmo.Relation
- Satchmo.Relation.Data
- Satchmo.Relation.Op
- Satchmo.Relation.Prop
- Satchmo.SAT
- Satchmo.SAT.BS
- Satchmo.SAT.Seq
- Satchmo.SAT.Sequence
- Satchmo.SAT.Tmpfile
- Satchmo.SAT.Weighted
- Satchmo.Simple
- Satchmo.Solve
Dependencies
- array lib:array >=0
- base lib:base >=4 && <5
- bytestring lib:bytestring >=0
- containers lib:containers >=0
- directory lib:directory >=0
- mtl lib:mtl >=0
- process lib:process >=0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- satchmo test:AIS
- satchmo test:Hidoku
- satchmo test:Langford
- satchmo test:Moore
- satchmo test:Oscillator
- satchmo test:PP
- satchmo test:Pigeon
- satchmo test:Pythagoras
- satchmo test:Ramsey
- satchmo test:RamseyFM
- satchmo test:Spaceship
- satchmo test:Sudoku
- satchmo-backends lib:satchmo-backends
- satchmo-examples exe:Factor
- satchmo-examples exe:HC
- satchmo-examples exe:QBF
- satchmo-examples exe:VC
- satchmo-funsat lib:satchmo-funsat
- satchmo-minisat lib:satchmo-minisat