satchmo-2.9.5: SAT encoding monad
Satchmo.PolynomialSOS
nonNegative Source
Arguments
Bit width of coefficients
Maximum degree
Maximum number of polynomials
positive Source
strictlyMonotone Source