pseudo-boolean (hackage): Reading/Writing OPB/WBO files used in pseudo boolean competition
Keywords: bsd3|constraints|data|library|logic|optimisation|optimization|parsing|pseudo-boolean