satchmo-2.9.0: SAT encoding monad

Safe HaskellNone
LanguageHaskell98

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