Haskell library for parsing/generating OPB/WBO files used in pseudo boolean competition.
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
src/Data
test
.gitignore
.travis.yml
CHANGELOG.markdown
LICENSE
README.md
Setup.hs
pseudo-boolean.cabal
stack.yaml

README.md

pseudo-boolean

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

Build Status Coverage Status Hackage Hackage Deps License