satchmo-2.8.2: SAT encoding monad

Safe HaskellNone
LanguageHaskell98

Satchmo.Unary

Synopsis

Documentation

bits :: Number -> [Boolean] Source

contents is [ 1 .. 1 0 .. 0 ] number of 1 is value of number

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

declare a number with range (0, w)