Satchmo.Binary

Documentation

data Number

Instances

Decode Number Integer

width :: Number -> Int

number :: Int -> SAT Number

declare a number variable (bit width)

fixed :: Int -> Integer -> SAT Number

declare a number constant (bit width, value)

add :: Number -> Number -> SAT Number

result width is 1 + largest argument width

times :: Number -> Number -> SAT Number

equals :: Number -> Number -> SAT Boolean