satchmo-1.8.1: SAT encoding monad

Satchmo.Relation.Prop

Documentation

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