satchmo-1.8.0: SAT encoding monad
Satchmo.Binary.Op.Common
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