<html>
  <head>
    <meta content="text/html; charset=windows-1252"
      http-equiv="Content-Type">
  </head>
  <body bgcolor="#FFFFFF" text="#000000">
    <div class="moz-cite-prefix">Dear Stefano,<br>
      <br>
      SCIP comes with default settings which are active by, you guessed
      it, default. However, you have the possibility to save customized
      settings via the save and diffsave command. <br>
      <br>
      Whenever you invoke SCIP from a directory containing a file
      "scip.set", the settings therein overwrite the default settings.<br>
      <br>
      Settings files can become incompatible with later releases if we
      decide to rename/delete a parameter. Information about this can be
      found in the CHANGELOG for every release.<br>
      <br>
      Kind regards,<br>
      Gregor<br>
      <br>
      <br>
      <br>
      <br>
      Am 17.03.2015 um 01:08 schrieb Stefano Coniglio:<br>
    </div>
    <blockquote
cite="mid:CAJa3oTnT-AApkVF+D_YbEB0__Sxev_W+cgmvSkZdEpy8wM+OWg@mail.gmail.com"
      type="cite">
      <div dir="ltr">Dear all,
        <div><br>
        </div>
        <div>does an updated version of "scip.set" come with each
          release? If so, where should I find it?</div>
        <div><br>
        </div>
        <div>Thanks a lot!</div>
        <div>-S.</div>
        <div><br>
        </div>
        <div>PS: I seem to have an older version of the file (released
          with version 3.0.0); it can be downloaded from NEOS, but it
          seems to be incompatible with the latest release (3.1.1).</div>
        <div><br>
        </div>
        <div><br>
        </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="http://listserv.zib.de/mailman/listinfo/scip">http://listserv.zib.de/mailman/listinfo/scip</a>
</pre>
    </blockquote>
    <br>
  </body>
</html>