satchmo-2.9.1: SAT encoding monad

Satchmo.Polynomial.Numeric

data Poly a Source

Constructors

Instances

derive :: (Constant a, Numeric a, MonadSAT m) => Poly a -> m (Poly a) Source

constantTerm :: Poly a -> a Source

polynomial :: (Create a, MonadSAT m) => Int -> Int -> m (Poly a) Source

compose :: (Constant a, Create a, Numeric a, MonadSAT m) => Poly a -> Poly a -> m (Poly a) Source

fullZip :: [a] -> [b] -> [(Maybe a, Maybe b)] Source