satchmo-2.8.2: SAT encoding monad

Safe HaskellNone
LanguageHaskell98

Satchmo.Binary.Op.Common

Synopsis

Documentation

full_adder Source

Arguments

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

(result, carry)

half_adder Source

Arguments

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

(result, carry)

select :: MonadSAT m => Boolean -> Number -> m Number Source

i flag is True, then the number itself, and zero otherwise.