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

[Ofer Strichman]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20190821/a860b3d6/attachment.html>