satchmo-1.8.0: SAT encoding monad
Satchmo.Polynomial
type Number = Poly NumberSource
numberSource
Arguments
bits
degree
constant :: MonadSAT m => Integer -> m (Poly Number)Source
iszero :: MonadSAT m => Poly Number -> m BooleanSource
equals :: MonadSAT m => Poly Number -> Poly Number -> m BooleanSource
ge :: MonadSAT m => Poly Number -> Poly Number -> m BooleanSource
gt :: MonadSAT m => Poly Number -> Poly Number -> m BooleanSource
add :: MonadSAT m => Poly Number -> Poly Number -> m (Poly Number)Source
times :: MonadSAT m => Poly Number -> Poly Number -> m (Poly Number)Source