satchmo-2.9.6: SAT encoding monad

Safe HaskellNone
LanguageHaskell98

Satchmo.Unary.Op.Flexible

Synopsis

Documentation

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

Unary addition. Output bit length is sum of input bit lengths.