satchmo-1.4: SAT encoding monad

Satchmo.Relation.Prop

Documentation

implies :: (Ix a, Ix b) => Relation a b -> Relation a b -> SAT BooleanSource

symmetric :: (Enum a, Ix a) => Relation a a -> SAT BooleanSource

transitive :: (Enum a, Ix a) => Relation a a -> SAT BooleanSource

irreflexive :: (Enum a, Ix a) => Relation a a -> SAT BooleanSource

regular :: (Enum a, Ix a) => Int -> Relation a a -> SAT BooleanSource