satchmo-2.8.2: SAT encoding monad

Safe HaskellNone
LanguageHaskell98

Satchmo.Integer

Synopsis

Documentation

data Number Source

Instances

make :: [Boolean] -> Number Source

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

width :: Number -> Int Source

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

negate. Unsatisfiable if value is lowest negatve.

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

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

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

gt :: MonadSAT m => Number -> Number -> m Boolean Source

ge :: MonadSAT m => Number -> Number -> m Boolean Source

eq :: MonadSAT m => Number -> Number -> m Boolean Source