veripb-parser 0.1.2

VeriPB parsing library for OPB, WCNF, and DIMACS CNF formats.
Documentation 
1
2

* #variable= 3 #constraint= 0
min: 1 x1 2 ~x2 3 x3 4 ;