pseudo-boolean: Reading/Writing OPB/WBO files used in pseudo boolean competition
[ bsd3, constraints, data, library, logic, optimisation, optimization ]
[ Propose Tags ]
[ Report a vulnerability ]
Modules
[Index] [Quick Jump]
Downloads
- pseudo-boolean-0.1.7.0.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
For package maintainers and hackage trustees
Candidates
Versions [RSS] | 0.1.0.0, 0.1.0.1, 0.1.1.0, 0.1.2.0, 0.1.3.0, 0.1.4.0, 0.1.5.0, 0.1.6.0, 0.1.7.0, 0.1.8.0, 0.1.9.0, 0.1.10.0, 0.1.11.0 |
---|---|
Change log | CHANGELOG.markdown |
Dependencies | attoparsec (>=0.10.4.0), base (>=4.6.0.1 && <4.13), bytestring (>=0.9.2.1 && <0.11), bytestring-builder, containers (>=0.4.2.1), deepseq (>=1.3.0.0), dlist (>=0.7.0 && <0.9.0), hashable (>=1.1.2.5 && <1.3.0.0), megaparsec (>=4 && <8), parsec (>=3.1.2 && <4), void [details] |
Tested with | ghc ==7.8.4, ghc ==7.10.3, ghc ==8.0.2, ghc ==8.2.2, ghc ==8.4.3 |
License | BSD-3-Clause |
Author | Masahiro Sakai |
Maintainer | masahiro.sakai@gmail.com |
Category | Data, Optimisation, Optimization, Constraints, Logic |
Home page | https://github.com/msakai/pseudo-boolean |
Bug tracker | https://github.com/msakai/pseudo-boolean/issues |
Source repo | head: git clone git://github.com/msakai/pseudo-boolean.git |
Uploaded | by MasahiroSakai at 2018-09-30T15:05:29Z |
Distributions | NixOS:0.1.11.0 |
Reverse Dependencies | 1 direct, 4 indirect [details] |
Downloads | 8840 total (30 in the last 30 days) |
Rating | (no votes yet) [estimated by Bayesian average] |
Your Rating | |
Status | Docs available [build log] Last success reported on 2018-09-30 [all 1 reports] |