satchmo-2.9.9.4: SAT encoding monad
Safe HaskellSafe-Inferred
LanguageHaskell2010

Satchmo.PolynomialSOS

Documentation

nonNegative Source #

Arguments

:: MonadSAT m 
=> Int

Bit width of coefficients

-> Int

Maximum degree

-> Int

Maximum number of polynomials

-> NumPoly 
-> m Boolean 

positive Source #

Arguments

:: MonadSAT m 
=> Int

Bit width of coefficients

-> Int

Maximum degree

-> Int

Maximum number of polynomials

-> NumPoly 
-> m Boolean 

strictlyMonotone Source #

Arguments

:: MonadSAT m 
=> Int

Bit width of coefficients

-> Int

Maximum degree

-> Int

Maximum number of polynomials

-> NumPoly 
-> m Boolean