The pseudo-boolean package

[ Tags: bsd3, constraints, data, library, logic, optimisation, optimization ] [ Propose Tags ]

Reading/Writing OPB/WBO files used in pseudo boolean competition


[Skip to Readme]

Properties

Versions 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
Change log CHANGELOG.markdown
Dependencies attoparsec (>=0.10.4.0), base (>=4.6.0.1 && <4.11), 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 && <7), parsec (>=3.1.2 && <4), void [details]
License BSD3
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 repository head: git clone git://github.com/msakai/pseudo-boolean.git
Uploaded Sat Sep 2 04:48:18 UTC 2017 by MasahiroSakai
Distributions NixOS:0.1.6.0
Downloads 1115 total (196 in the last 30 days)
Rating (no votes yet) [estimated by rule of succession]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2017-09-02 [all 1 reports]
Hackage Matrix CI

Modules

[Index]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for pseudo-boolean-0.1.6.0

[back to package description]

pseudo-boolean

Haskell library for parsing/generating OPB/WBO files used in pseudo boolean competition.

Build Status Coverage Status Hackage