[SCIP] zimpl segment fault

[Harvey Zhao]

hi there,

do we have some kind of hard limit on the problem size that zimpl can
handle? I am getting segment fault while running zimpl 3.3.4 on ubuntu with
this problem file
<https://s3.eu-west-2.amazonaws.com/zpl-data/test_file.zpl> (the size is
not particularly big though), same error can also be reproduced from
neos-server.org, so it probably not an issue with my Linux or complies
either.

Much appreciated if anyone can suggest what causes this issue? thank you
very much!


best regards
Harvey
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20170809/995cc5ad/attachment.html>