satchmo-2.8.2: SAT encoding monad

Safe HaskellNone
LanguageHaskell98

Satchmo.PolynomialN

Documentation

type Coefficient a = a Source

fromMonomials Source

Arguments

:: MonadSAT m 
=> Int

bit width of coefficients

-> [(Coefficient Integer, Exponents)]

monomials

-> m NumPolynomialN