satchmo-1.3: SAT encoding monad

Satchmo.Binary.Op.Common

Documentation

iszero :: Number -> SAT Boolean Source

equals :: Number -> Number -> SAT Boolean Source

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

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