Portability | portable |
---|---|
Stability | provisional |
Maintainer | masahiro.sakai@gmail.com |
Safe Haskell | None |
Data.Polynomial.RootSeparation.Graeffe
Description
Graeffe's Method
Reference:
toysolver-0.0.6: 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: