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

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

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

[Skip to Readme]


Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees


Versions [RSS],,,,,,,,,,,,
Dependencies attoparsec (>=, base (>= && <4.9), bytestring (>= && <0.11), bytestring-builder, containers (>=, deepseq (>=, dlist (>=0.7.0 && <0.8.0), hashable (>= && <, parsec (>=3.1.2 && <4) [details]
License BSD-3-Clause
Author Masahiro Sakai
Category Data, Optimisation, Optimization, Constraints, Logic
Home page
Source repo head: git clone git://
Uploaded by MasahiroSakai at 2015-05-24T10:25:23Z
Distributions NixOS:
Reverse Dependencies 1 direct, 4 indirect [details]
Downloads 8509 total (46 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2015-05-26 [all 1 reports]

Readme for pseudo-boolean-

[back to package description]


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

Build Status Coverage Status Hackage