satchmo-1.8.0: SAT encoding monad

Satchmo.Binary.Op.Common

Documentation

iszero :: MonadSAT m => Number -> m BooleanSource

equals :: MonadSAT m => Number -> Number -> m BooleanSource

lt :: MonadSAT m => Number -> Number -> m BooleanSource

le :: MonadSAT m => Number -> Number -> m BooleanSource

ge :: MonadSAT m => Number -> Number -> m BooleanSource

eq :: MonadSAT m => Number -> Number -> m BooleanSource

gt :: MonadSAT m => Number -> Number -> m BooleanSource

full_adder :: MonadSAT m => Boolean -> Boolean -> Boolean -> m (Boolean, Boolean)Source

half_adder :: MonadSAT m => Boolean -> Boolean -> m (Boolean, Boolean)Source