satchmo-1.2: SAT encoding monad

Satchmo.Binary.Op.Flexible

Description

operations from this module cannot overflow. instead they increase the bit width.

Synopsis

Documentation

shift :: Number -> SAT NumberSource

multiply by 2

number :: Int -> SAT NumberSource

declare a number variable (bit width)

constant :: Integer -> SAT NumberSource

declare a number constant