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.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
• directory lib:directory >=0
• minisat lib:minisat >=0.1
• 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
• satchmo-toysat lib:satchmo-toysat