Hackage :: [Package]

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, 0.1.12.0
Change log CHANGELOG.markdown
Dependencies attoparsec (>=0.10.4.0), base (>=4.6.0.1 && <4.22), bytestring (>=0.9.2.1 && <0.13), bytestring-builder, containers (>=0.4.2.1), deepseq (>=1.3.0.0), dlist (>=0.7.0 && <1.1.0), hashable (>=1.1.2.5 && <1.6.0.0), integer-logarithms (>=1.0.2 && <1.1), megaparsec (>=4 && <10), parsec (>=3.1.2 && <4), void [details]
Tested with ghc ==8.0.2, ghc ==8.2.2, ghc ==8.4.4, ghc ==8.6.5, ghc ==8.8.4, ghc ==8.10.7, ghc ==9.0.2, ghc ==9.2.8, ghc ==9.4.8, ghc ==9.6.6, ghc ==9.8.4, ghc ==9.10.1
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 2025-04-05T10:01:25Z
Distributions LTSHaskell:0.1.12.0, NixOS:0.1.12.0, Stackage:0.1.12.0
Reverse Dependencies 1 direct, 4 indirect [details]
Downloads 9126 total (43 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs available [build log]
Last success reported on 2025-04-05 [all 1 reports]

Readme for pseudo-boolean-0.1.12.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