satchmo-2.9.9.3: SAT encoding monad

Satchmo.Polynomial.Numeric

data Poly a Source

Constructors

Instances

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

constantTerm :: Poly a -> a Source

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

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

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