<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
</head>
<body text="#000000" bgcolor="#FFFFFF">
Dear Tilo,<br>
<br>
please replace<br>
<br>
<pre class="moz-quote-pre" wrap="">assert( SCIPvarGetType(var) == SCIP_VARTYPE_BINARY );</pre>
<br>
by<br>
<br>
<tt>assert( SCIPvarIsBinary(var) );</tt><br>
<br>
<br>
and it should work again. The old assert is wrong here, because the
variables in XOR constraints do not necessarily need to be of
VARTYPE_BINARY, it is now sufficient that that are non-continuous
and have bounds [0,1].<br>
<br>
Best,<br>
Gerald<br>
<br>
<div class="moz-cite-prefix">On 21.05.19 09:14, Tilo Wiedera wrote:<br>
</div>
<blockquote type="cite"
cite="mid:CAB20RkEoS5q5dZW3R8BUmkbHchtk1WYO7sGYsVBDib37RdBdaw@mail.gmail.com">
<pre class="moz-quote-pre" wrap="">Dear SCIP developers,
I've attached a program (main.cpp) that fails because of a SCIP assertion.
The error message is "src/scip/cons_xor.c:2368: checkSystemGF2:
Assertion `SCIPvarGetType(var) == SCIP_VARTYPE_BINARY' failed.".
The program creates an ILP consisting of 10 binary and 4 continuous
variables, and 5 constraints.
The problem seems to occur independent of the LP-solver.
We are using Cplex 12.8., SCIP 6.0.1 and compile with gcc 7.3.
In addition, I have attached an LP file (fail.lp) of the ILP that also
leads to a crash when using the SCIP command line to read and optimize
it (in debug mode).
Kind regards
Tilo
--
---------------------------------------------
Tilo Wiedera, M.Sc.
Research Assistant
Theoretical Computer Science
---------------------------------------------
Institute of Computer Science
Osnabrueck University
Wachsbleiche 27, D-49090 Osnabrueck, GERMANY
---------------------------------------------
Webpage: <a class="moz-txt-link-freetext" href="http://tcs.uos.de/staff/wiedera">http://tcs.uos.de/staff/wiedera</a>
Phone: +49 (0) 541 - 969 3475
Mail: <a class="moz-txt-link-abbreviated" href="mailto:twiedera@uni-osnabrueck.de">twiedera@uni-osnabrueck.de</a>
</pre>
<br>
<fieldset class="mimeAttachmentHeader"></fieldset>
<pre class="moz-quote-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="https://listserv.zib.de/mailman/listinfo/scip">https://listserv.zib.de/mailman/listinfo/scip</a>
</pre>
</blockquote>
<br>
</body>
</html>