<div dir="ltr">Hi all.<div><br></div><div>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?</div><div><br></div><div>Thank you.<div>-- <br><div class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div>Vincent Mirian</div></div></div></div>
</div></div></div>