<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">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">Scip@zib.de</a>
<a class="m_-2478606316911590948moz-txt-link-freetext" href="https://listserv.zib.de/mailman/listinfo/scip" target="_blank">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>