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

[ bsd3, constraints, data, library, logic, optimisation, optimization ] [ Propose Tags ] [ Report a vulnerability ]
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]

Readme for pseudo-boolean-0.1.7.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 Hackage Deps License