Haskell library for parsing/generating OPB/WBO files used in pseudo boolean competition.
msakai/pseudo-boolean
Haskell library for parsing/generating OPB/WBO files used in pseudo boolean competition.
HaskellBSD-3-Clause
Haskell library for parsing/generating OPB/WBO files used in pseudo boolean competition.
HaskellBSD-3-Clause