veripb-parser 0.1.2

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

>= 3231232131231232131 ;
>= 32312321312312321312 ;
>= 170141183460469231731687303715884105728 ;
= 1 ;