toysolver-0.0.6: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc

Safe HaskellNone

Data.Polynomial.Factorization.Rational