satchmo-1.8.0: SAT encoding monad
Satchmo.Relation.Prop
implies :: (Ix a, Ix b, MonadSAT m) => Relation a b -> Relation a b -> m BooleanSource
symmetric :: (Ix a, MonadSAT m) => Relation a a -> m BooleanSource
transitive :: (Ix a, MonadSAT m) => Relation a a -> m BooleanSource
irreflexive :: (Ix a, MonadSAT m) => Relation a a -> m BooleanSource
reflexive :: (Ix a, MonadSAT m) => Relation a a -> m BooleanSource
regular :: (Ix a, MonadSAT m) => Int -> Relation a a -> m BooleanSource