satchmo-1.9.1: 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_adderSource

Arguments

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

(result, carry)

half_adderSource

Arguments

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

(result, carry)