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]
Versions [faq],,,,,,,,,,
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 Sun May 24 10:25:23 UTC 2015
Distributions NixOS:
Downloads 5218 total (331 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Hackage Matrix CI
Docs available [build log]
Last success reported on 2015-05-26 [all 1 reports]




Maintainer's Corner

For package maintainers and hackage trustees

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