satchmo-1.0: SAT encoding monad
Satchmo.Binary
Synopsis
data Number Source
Instances
width :: Number -> IntSource
number :: Int -> SAT NumberSource
declare a number variable (bit width)
fixed :: Int -> Integer -> SAT NumberSource
declare a number constant (bit width, value)
add :: Number -> Number -> SAT NumberSource
result width is 1 + largest argument width
times :: Number -> Number -> SAT NumberSource
equals :: Number -> Number -> SAT BooleanSource