<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Dear Vincent,<br>
<br>
this is a very broad question that depends also on the scale of your
instance. I would probably start every possible answer with the
advice to choose a different file format, as CNF does not support
objective functions, as far as I can see, at least no arbitrary
objective functions.<br>
<br>
You can use SCIP to convert your instance into a different file
format, see our documentation for a list of available formats. If
you intend to manually edit the instance, CIP is a good format, for
pasting in an objective function with a script, the LP format is
probably good.<br>
<br>
Happy converting,<br>
Gregor<br>
<br>
<br>
<br>
<div class="moz-cite-prefix">Am 29.03.2018 um 17:04 schrieb Vincent
Mirian:<br>
</div>
<blockquote type="cite"
cite="mid:CAKys4QqLQ2pX4Jue0gR7eWn8hZk4YpSikcx9ssv1KXDuzRsNVQ@mail.gmail.com">
<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>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<br>
<pre wrap="">_______________________________________________
Scip mailing list
<a class="moz-txt-link-abbreviated" href="mailto:Scip@zib.de">Scip@zib.de</a>
<a class="moz-txt-link-freetext" href="https://listserv.zib.de/mailman/listinfo/scip">https://listserv.zib.de/mailman/listinfo/scip</a>
</pre>
</blockquote>
<br>
</body>
</html>