satchmo-2.8.2: SAT encoding monad

Index - S

SAT 
1 (Type/Class)Satchmo.SAT.Tmpfile, Satchmo.SAT
2 (Type/Class)Satchmo.SAT.Mini
satSatchmo.SAT.Tmpfile, Satchmo.SAT
select 
1 (Function)Satchmo.Unary.Op.Common, Satchmo.Unary.Op.Flexible, Satchmo.Unary, Satchmo.Unary.Op.Fixed
2 (Function)Satchmo.Binary.Op.Common, Satchmo.Binary.Op.Flexible, Satchmo.Binary, Satchmo.Binary.Op.Fixed
SetSatchmo.Set.Data, Satchmo.Set
shiftSatchmo.Binary.Op.Flexible, Satchmo.Binary
solveSatchmo.SAT.Mini
solve_with_timeoutSatchmo.SAT.Mini
strictlyMonotoneSatchmo.PolynomialSOS
subSatchmo.Integer
subtract 
1 (Function)Satchmo.BinaryTwosComplement.Op.Fixed, Satchmo.BinaryTwosComplement
2 (Function)Satchmo.Polynomial
symmetricSatchmo.Relation.Prop, Satchmo.Relation