satchmo-1.4: SAT encoding monad
Satchmo.Relation.Op
mirror :: (Ix a, Ix b) => Relation a b -> Relation b aSource
union :: (Ix a, Ix b) => Relation a b -> Relation a b -> SAT (Relation a b)Source
complement :: (Ix a, Ix b) => Relation a b -> Relation a bSource
product :: (Ix a, Ix b, Enum b, Ix c) => Relation a b -> Relation b c -> SAT (Relation a c)Source