Portability | portable |
---|---|
Stability | provisional |
Maintainer | masahiro.sakai@gmail.com |
Safe Haskell | None |
Pseudo-Boolean Optimization (PBO) Solver
Documentation
Options | |
|
Portability | portable |
---|---|
Stability | provisional |
Maintainer | masahiro.sakai@gmail.com |
Safe Haskell | None |
Pseudo-Boolean Optimization (PBO) Solver
Options | |
|