| Portability | portable |
|---|---|
| Stability | provisional |
| Maintainer | masahiro.sakai@gmail.com |
| Safe Haskell | None |
Data.Polynomial.RootSeparation.Graeffe
Description
Graeffe's Method
Reference:
toysolver-0.0.5: Assorted decision procedures for SAT, Max-SAT, PB, MIP, etc
| Portability | portable |
|---|---|
| Stability | provisional |
| Maintainer | masahiro.sakai@gmail.com |
| Safe Haskell | None |
Data.Polynomial.RootSeparation.Graeffe
Description
Graeffe's Method
Reference: