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