<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Dear Matthias,<br>
<br>
thank you very much for this feedback, we are sorry for your
troubles. We are testing the installation procedure for Mac, Linux,
and Windows, but of course only in specific environments. <br>
<br>
The Mac-problem (no mountable file system) has appeared before and
could result from an incompatible Mac version, see <a
moz-do-not-send="true"
href="https://deciphertools.com/blog/2017-10-02-no-mountable-file-systems/">this
post</a>. It would be interesting to know whether <br>
<br>
- all or only some Mac users experience the same trouble, and<br>
- which are the actual Mac OS versions affected. <br>
<br>
Shipping the Windows installer without ZIMPL is intended, as we
currently cannot resolve some library issues specific to ZIMPL. I
agree that this should have been made more transparent on the
Web-Page.<br>
<br>
Kind regards,<br>
Gregor<br>
<br>
<br>
<br>
<div class="moz-cite-prefix">Am 17.01.19 um 19:49 schrieb Matthias
Koeppe:<br>
</div>
<blockquote type="cite"
cite="mid:CAJ_wo5i8-wEEO6QbpZcW4knG+AE0AD96iurk5PBXX_amKwE+6w@mail.gmail.com">
<pre class="moz-quote-pre" wrap="">Dear SCIP friends,
I am trying again to use SCIP for a class that I teach at UC Davis and
have received a number of complaints from students who are trying to
install it on their own machines. (Of course, I'm providing a working
version of SCIP on lab computers.)
Basically, all the binaries for Mac and Windows are broken in various ways.
The last working version for Mac is the statically linked 4.0.0.
The DMGs for 5.0.1 and 6.0.0 give an error "No mountable file systems"
on students' Macs and also on my Mac.
The 6.0.1 DMG can be opened, but the SCIP binary has unresolved shared
library references to libgmp from /usr/local.
The 6.0.1 binary for Windows (not sure if 32bit or 64bit was tested)
is apparently built without ZIMPL.
My recommendation: Delete untested & broken binaries from the website...
Best
Matthias
</pre>
</blockquote>
<br>
</body>
</html>