<div dir="ltr">Hi all,<div class="gmail_quote"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><div><br></div><div>I build and installed SCIP through cmake with SYM=bliss, and I installed bliss libbliss-dev from Ubunutu's package repository, which uses version 0.73. The building found Bliss without any issue. After playing around it seemed that actually get it to use this featuer, I needed to "set misc usesymmetry 1", and then it crashes during presolve.<br></div><div><br></div><div>To be precise, my full sequence of actions is:</div><div>$ scip</div><div>SCIP> read problem_16.lp</div><div>SCIP> set misc usesymmetry 1</div><div>SCIP> presolve<br><br></div><div>and then it gives this output:<br></div><div><br>LP Solver <SoPlex 4.0.1>: barrier convergence tolerance cannot be set -- tolerance of SCIP and LP solver may differ<br>LP Solver <SoPlex 4.0.1>: fastmip setting not available -- SCIP parameter has no effect<br>LP Solver <SoPlex 4.0.1>: number of threads settings not available -- SCIP parameter has no effect<br>transformed problem has 1540 variables (0 bin, 1540 int, 0 impl, 0 cont) and 31462 constraints<br>  31462 constraints of type <linear><br><br>original problem has 92905 active (0.191749%) nonzeros and 92905 (0.191749%) check nonzeros<br><br>presolving:<br>(round 1, fast)       505 del vars, 3630 del conss, 0 add conss, 3585 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs<br>(round 2, fast)       910 del vars, 25608 del conss, 0 add conss, 3990 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs<br>(round 3, fast)       910 del vars, 28222 del conss, 0 add conss, 3990 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs<br>(round 4, exhaustive) 910 del vars, 28267 del conss, 0 add conss, 3990 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs<br>(round 5, exhaustive) 910 del vars, 28267 del conss, 0 add conss, 3990 chg bounds, 0 chg sides, 0 chg coeffs, 3150 upgd conss, 0 impls, 0 clqs<br>   (0.2s) probing: 51/630 (8.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes<br>   (0.2s) probing aborted: 50/50 successive totally useless probings<br>   (0.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)<br>free(): invalid pointer<br>Aborted (core dumped)<br></div><div><br></div><div>Is something wrong with my bliss installation? Am I misusing the misc/symmetry settings? When I tried building bliss myself, it wasn't creating a .so (only .a), so is there a build script that handles it? Once I have it working, I would like to compile the SCIP-SDP plugin in too, which means I'd like to not use a pre-built version. Thank you all!<br></div><div><br></div><div><div><div dir="ltr" class="m_7446224358166850860gmail-m_3917832857038040488gmail_signature"><div dir="ltr">-- Alexander Meiburg<br></div></div></div></div></div></div></div></div>
</div></div>