<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Dear Vincent,<br>
<br>
it is all written in our *online documentation*, see the second
section here:<br>
<br>
<a class="moz-txt-link-freetext" href="http://scip.zib.de/doc-5.0.1/html/SHELL.php">http://scip.zib.de/doc-5.0.1/html/SHELL.php</a><br>
<br>
In general, it is highly appreciated if new users try to to scroll
through the getting started section of the SCIP online
documentation.<br>
<br>
Best,<br>
Gregor<br>
<br>
<div class="moz-cite-prefix">Am 29.03.2018 um 18:20 schrieb Vincent
Mirian:<br>
</div>
<blockquote type="cite"
cite="mid:CAKys4QrfdYwJ0D76sYrk6o1ZJ_RtCoEzvp7uZftuVzsaUYiZ0w@mail.gmail.com">
<div dir="ltr">Thank you for the reply Gregor.
<div><br>
</div>
<div>If I understand correctly, SCIP enables the user to convert
between file formats. I would appreciate if you can provide
details on how to perform this task.</div>
<div><br>
</div>
<div>Regards.</div>
</div>
<div class="gmail_extra"><br>
<div class="gmail_quote">On Thu, Mar 29, 2018 at 11:23 AM,
Gregor Hendel <span dir="ltr"><<a
href="mailto:hendel@zib.de" target="_blank"
moz-do-not-send="true">hendel@zib.de</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0
.8ex;border-left:1px #ccc solid;padding-left:1ex">
<div 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
<div>
<div class="h5"><br>
<br>
<br>
<br>
<div class="m_-2478606316911590948moz-cite-prefix">Am
29.03.2018 um 17:04 schrieb Vincent Mirian:<br>
</div>
</div>
</div>
<blockquote type="cite">
<div>
<div class="h5">
<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="m_-2478606316911590948gmail_signature"
data-smartmail="gmail_signature">
<div dir="ltr">
<div>
<div>Vincent Mirian</div>
</div>
</div>
</div>
</div>
</div>
</div>
<br>
<fieldset
class="m_-2478606316911590948mimeAttachmentHeader"></fieldset>
<br>
</div>
</div>
<pre>______________________________<wbr>_________________
Scip mailing list
<a class="m_-2478606316911590948moz-txt-link-abbreviated" href="mailto:Scip@zib.de" target="_blank" moz-do-not-send="true">Scip@zib.de</a>
<a class="m_-2478606316911590948moz-txt-link-freetext" href="https://listserv.zib.de/mailman/listinfo/scip" target="_blank" moz-do-not-send="true">https://listserv.zib.de/<wbr>mailman/listinfo/scip</a>
</pre>
</blockquote>
<br>
</div>
</blockquote>
</div>
<br>
<br clear="all">
<div><br>
</div>
-- <br>
<div class="gmail_signature" data-smartmail="gmail_signature">
<div dir="ltr">
<div>
<div>Vincent Mirian</div>
</div>
</div>
</div>
</div>
</blockquote>
<br>
</body>
</html>