| Portability | non-portable (TypeSynonymInstances, FlexibleInstances) |
|---|---|
| Stability | provisional |
| Maintainer | masahiro.sakai@gmail.com |
| Safe Haskell | None |
Data.Polynomial.Factorization.Integer
Description
toysolver-0.0.6: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc
| Portability | non-portable (TypeSynonymInstances, FlexibleInstances) |
|---|---|
| Stability | provisional |
| Maintainer | masahiro.sakai@gmail.com |
| Safe Haskell | None |
Data.Polynomial.Factorization.Integer
Description