satchmo-1.8.0: SAT encoding monad

Satchmo.Polynomial

Documentation

type Number = Poly Number Source

Arguments

:: MonadSAT m
=> Int	bits
-> Int	degree
-> m (Poly Number)

constant :: MonadSAT m => Integer -> m (Poly Number)Source

iszero :: MonadSAT m => Poly Number -> m Boolean Source

equals :: MonadSAT m => Poly Number -> Poly Number -> m Boolean Source

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

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

add :: MonadSAT m => Poly Number -> Poly Number -> m (Poly Number)Source

times :: MonadSAT m => Poly Number -> Poly Number -> m (Poly Number)Source