[Scip] Solving opb instances + initial solutions

[Luigi Malagò]

hello mailing list,
right now i'm solving non linear pseudo-boolean functions f, which are
parsed from the OPB format, e.g.

* #variable= 5 #constraint= 4
*
* this is a dummy instance
*
min: 1 x2 -1 x3 ;
1 x1 +4 x2 -2 x5 >= 2;
-1 x1 +4 x2 -2 x5 >= +3;
12345678901234567890 x4 +4 x3 >= 10;
* an equality constraint
2 x2 +3 x4 +2 x1 +3 x5 = 5;

(take from the http://www.cril.univ-artois.fr/PB10/format.pdf )

i would like to speed up the solver, since i have (from some heuristic) a
candidate optima solution for each instance

i am minimizing f and i would like like to provide an upper bound for it
(my candidate solutio from the heuristic).

can i insert it the OPB file?
if not, in case I re-implement the opb_reader, which method should i call
to provide the solver with an initial solution?
i checked the documentation, but didnt find any usefull method. maybe i'm
looking in the wrong place..

thanks alot for your help,
luigi
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://listserv.zib.de/mailman/private/scip/attachments/20120120/e5ead7b3/attachment.html