satchmo-2.8.2: SAT encoding monad

Safe HaskellNone
LanguageHaskell98

Satchmo.Integer

Synopsis

Documentation

number :: MonadSAT m => Int -> m Number Source

declare a number variable (bit width)

constant Source

Arguments

:: MonadSAT m 
=> Int

bit width

-> Integer

value

-> m Number 

declare a number constant

bits :: Number -> [Boolean] Source

lsb first, using two's complement

negate :: MonadSAT m => Number -> m Number Source

negate. Unsatisfiable if value is lowest negatve.