[SCIP] CNF + Objective Function

[Vincent Mirian]

Hi all.

I have a problem described in CNF. I would like to add an objective
function for SCIP to solve the CNF. How would be able to complete this
task? What are the steps needed to enable SCIP to solve the CNF with an
objective function?

Thank you.
-- 
Vincent Mirian
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20180329/f6345f0c/attachment.html>