veripb-parser 0.1.2

* #variable= 4 #constraint= 2
+1423432452342342398749823479823749832744234 x1 +2342374982378492378944234324324324234 ~x2 +3423748923879473294723984723984 x3 >= 339482379482374987213984712983749812374 ;
+123 x3 +2132322 ~x2 +31234792384789237498237847238974982374982374892374982374 x4 >= 312892479832478932749832749872349872398472398748391278923174 ;