[SCIP] Does scip support pseudo-boolean formulas with non-linear constraints ?

[Benjamin Müller]

Dear Ofer,

yes, this file format (*.opb) is supported by SCIP. For more details, 
you can have a look at the opb reader in SCIP:

	https://scip.zib.de/doc-6.0.2/html/reader__opb_8c.php

Best,
Benjamin

On 8/21/19 7:57 AM, Ofer Strichman wrote:
> 
> According to the pseudo-Boolean 2016 competition format specification:
> http://www.cril.univ-artois.fr/PB12/format.pdf
> 
> the following nonlinear constraint is legal:
> 
> 3 x1 x2 + 2 ˜x3 ˜x4 ˜x5 -3 x6 >= +2 ;
> 
> does skip support this format ?
> Thanks,
> Ofer
> 
> _______________________________________________
> Scip mailing list
> Scip at zib.de
> https://listserv.zib.de/mailman/listinfo/scip
> 

-- 
______________________________
Benjamin Müller
Zuse Institute Berlin
Takustr. 7, 14195 Berlin
benjamin.mueller at zib.de
+49 30 841 85-195