The latest version of satchmo is 2.9.9.4-0.
lib:satchmo
Modules
- Satchmo.Array
- Satchmo.Binary
- Satchmo.Binary.Numeric
- Satchmo.Binary.Op.Common
- Satchmo.Binary.Op.Fixed
- Satchmo.Binary.Op.Flexible
- Satchmo.Binary.Op.Times
- Satchmo.BinaryTwosComplement
- Satchmo.BinaryTwosComplement.Numeric
- Satchmo.BinaryTwosComplement.Op.Fixed
- Satchmo.Boolean
- Satchmo.Code
- Satchmo.Counting
- Satchmo.Counting.Binary
- Satchmo.Counting.Direct
- Satchmo.Counting.Unary
- Satchmo.Data
- Satchmo.Integer
- Satchmo.Integer.Difference
- Satchmo.Map
- Satchmo.Map.Data
- Satchmo.MonadSAT
- Satchmo.Numeric
- Satchmo.Polynomial
- Satchmo.Polynomial.Numeric
- Satchmo.PolynomialN
- Satchmo.PolynomialSOS
- Satchmo.Relation
- Satchmo.Relation.Data
- Satchmo.Relation.Op
- Satchmo.Relation.Prop
- Satchmo.SAT
- Satchmo.SAT.External
- Satchmo.SAT.Mini
- Satchmo.SAT.Tmpfile
- Satchmo.Set
- Satchmo.Set.Data
- Satchmo.Set.Op
- Satchmo.Unary
- Satchmo.Unary.Op.Common
- Satchmo.Unary.Op.Fixed
- Satchmo.Unary.Op.Flexible
Dependencies
- array lib:array >=0
- async lib:async >=0
- base lib:base >=4 && <5
- bytestring lib:bytestring >=0
- containers lib:containers >=0
- deepseq lib:deepseq >=0
- directory lib:directory >=0
- hashable lib:hashable >=0
- lens lib:lens >=0
- memoize lib:memoize >=0
- minisat lib:minisat >=0.1
- mtl lib:mtl >=0
- process lib:process >=0
- transformers lib:transformers >=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
- satchmo-toysat lib:satchmo-toysat