[SCIP] sassy bug?

[James Cussens]

Hi all,

I'm trying to solve a  feasibility problem and getting the following assertion error from sassy. Is this simply just some sassy bug or is there something incorrect about the problem? I attach the problem in CIP format.

Thanks,

James


<snip>
original problem has 21 variables (20 bin, 0 int, 0 impl, 1 cont) and 2255 constraints

solve problem
=============

presolving:
(round 1, fast)       2 del vars, 52 del conss, 0 add conss, 1 chg bounds, 2253 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 1 clqs
(round 2, exhaustive) 2 del vars, 52 del conss, 0 add conss, 1 chg bounds, 2253 chg sides, 0 chg coeffs, 2203 upgd conss, 0 impls, 1 clqs
(round 3, exhaustive) 2 del vars, 414 del conss, 0 add conss, 1 chg bounds, 2253 chg sides, 0 chg coeffs, 2203 upgd conss, 0 impls, 1 clqs
   (0.2s) probing cycle finished: starting next cycle
   (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
scip: src/sassy/refinement.h:88: void sassy::work_list_t<T>::push_back(T) [with T = int]: Assertion `cur_pos >= 0 && cur_pos < arr_sz' failed.
Aborted (core dumped)


James Cussens
Room MVB 3.26
School of Computer Science, University of Bristol
Phone: +44 (0)117 455 8723
https://jcussens.github.io/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20250618/6651ad65/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: bug.cip
Type: application/octet-stream
Size: 184721 bytes
Desc: bug.cip
URL: <http://listserv.zib.de/pipermail/scip/attachments/20250618/6651ad65/attachment.obj>