veripb-parser 0.1.2

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

* #variable= 4 #constraint= 6
+142 x1 +2423432423432423423423423423434 ~x2 +3348972347234836246823468792343987274873264872376487236487236487236 x3 >= 43214324 ;
+142 x4 +2423432423432423423423423423434 ~x3 >= 124124124 ;
+1 x3 -1 x2 +1 x4 >= 123 ;
-1 x1 +1 x4 +1 x2 >= 0 ;
+1 x3 -1 x2 +1 x4 >= 3348972347234836246823468792343987274873264872376487236487236487236 ;
+1 x3 2423432423432423423423423423434 x2 +1 x4 >= 3348972347234836246823468792343987274873264872376487236487236487236 ;
4611686018427387904 x3 4611686018427387904 x2 4611686018427387904 x4 >= 4611686018427387904 ;