satchmo-1.4: SAT encoding monad

Satchmo.Binary.Op.Common

Documentation

iszero :: Number -> SAT BooleanSource

equals :: Number -> Number -> SAT BooleanSource

lt :: Number -> Number -> WriterT [Clause] (State Accu) BooleanSource

le :: Number -> Number -> WriterT [Clause] (State Accu) BooleanSource

ge :: Number -> Number -> WriterT [Clause] (State Accu) BooleanSource

eq :: Number -> Number -> SAT BooleanSource

gt :: Number -> Number -> WriterT [Clause] (State Accu) BooleanSource

full_adder :: Boolean -> Boolean -> Boolean -> SAT (Boolean, Boolean)Source

half_adder :: Boolean -> Boolean -> SAT (Boolean, Boolean)Source