<html><head></head><body><div style="font-family: Verdana;font-size: 12.0px;"><div>Hi Christopher,</div>
<div> </div>
<div>yes that helps, also on the full models. Moreover with isModelConst==FALSE improves performance by factors 2-3 on the examples I tested! Hope you add the fix to SCIP (and I get to compile the master) - but I can patch for now.</div>
<div> </div>
<div>Any idea how to constrain two vectors to be strictly lex. greater? Once the handler is faster than a MIP formulation.</div>
<div> </div>
<div>Best regards,</div>
<div>Gleb</div>
<div>
<div>
<div name="quote" style="margin:10px 5px 5px 10px; padding: 10px 0 10px 10px; border-left:2px solid #C3D9E5; word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">
<div style="margin:0 0 10px 0;"><b>Gesendet:</b> Mittwoch, 10. Februar 2021 um 07:05 Uhr<br/>
<b>Von:</b> "Christopher Hojny" <c.hojny@tue.nl><br/>
<b>An:</b> scip@zib.de<br/>
<b>Betreff:</b> Re: [SCIP] isModelCons in Orbisack -- Crash</div>
<div name="quoted-content">Hi Gleb,<br/>
<br/>
sorry, somehow I focused on the cip file rather than your original<br/>
question. Coming back to this question, I think you have found a bug in<br/>
SCIP:<br/>
<br/>
Although I could not reproduce exactly the same stack trace, I get a<br/>
similar error message and I think the lines<br/>
<br/>
if ( !sourcedata->ismodelcons )<br/>
return SCIP_OKAY;<br/>
<br/>
in CONSTRANS of cons_orbisack.c are responsible for the crash. If the<br/>
orbisack constraint is not a model constraint, these lines cause that<br/>
the transformation of orbisack constraints is skipped although SCIP<br/>
expects transformation to happen. If I remove these two lines, the code<br/>
runs fine on your cip example.<br/>
<br/>
Could you please try whether removing these two lines of code fixes the<br/>
issue also for you?<br/>
<br/>
Best,<br/>
Christopher<br/>
<br/>
<br/>
<br/>
On 09-02-2021 08:49, Gleb Belov wrote:<br/>
> Hi,<br/>
> <br/>
> the original problem is that when creating that model with C API and<br/>
> isModelCons==FALSE, there is a crash... Do you need a small C API source<br/>
> or can you follow my steps from previous email?<br/>
> <br/>
> Cheers,<br/>
> <br/>
> *Gesendet:* Dienstag, 09. Februar 2021 um 18:14 Uhr<br/>
> *Von:* "Christopher Hojny" <c.hojny@tue.nl><br/>
> *An:* scip@zib.de<br/>
> *Betreff:* Re: [SCIP] isModelCons in Orbisack -- Crash<br/>
> Hi Gleb,<br/>
><br/>
> thanks for the example. It seems that we have missed to implement<br/>
> parsing routines for orbisacks (and symresacks). My apologies for the<br/>
> inconveniences. I will put it on my TODO list.<br/>
><br/>
> Until the missing feature has been added, you can still add orbisacks<br/>
> indirectly via orbitopes (which are generalizations of orbisacks and for<br/>
> which parsing routines are available). I have modified your cip file<br/>
> slightly, see below, and it seems to work.<br/>
><br/>
> Best,<br/>
> Christopher<br/>
><br/>
> ========================================================<br/>
> STATISTICS<br/>
> Problem name : mzn_scip<br/>
> Variables : 11 (10 binary, 1 integer, 0 implicit integer, 0<br/>
> continuous)<br/>
> Constraints : 0 initial, 1 maximal<br/>
> OBJECTIVE<br/>
> Sense : minimize<br/>
> VARIABLES<br/>
> [binary] <X_INTRODUCED_0_>: obj=0, original bounds=[0,1]<br/>
> [binary] <X_INTRODUCED_1_>: obj=0, original bounds=[0,1]<br/>
> [binary] <X_INTRODUCED_2_>: obj=0, original bounds=[0,1]<br/>
> [binary] <X_INTRODUCED_3_>: obj=0, original bounds=[0,1]<br/>
> [binary] <X_INTRODUCED_4_>: obj=0, original bounds=[0,1]<br/>
> [binary] <X_INTRODUCED_5_>: obj=0, original bounds=[0,1]<br/>
> [binary] <X_INTRODUCED_6_>: obj=0, original bounds=[0,1]<br/>
> [binary] <X_INTRODUCED_7_>: obj=0, original bounds=[0,1]<br/>
> [binary] <X_INTRODUCED_8_>: obj=0, original bounds=[0,1]<br/>
> [binary] <X_INTRODUCED_9_>: obj=0, original bounds=[0,1]<br/>
> [integer] <objective>: obj=0, original bounds=[2,2]<br/>
> CONSTRAINTS<br/>
> [orbitope] <p_lex_lesseq__orbisack_0>:<br/>
> fullOrbitope(<X_INTRODUCED_0_>,<X_INTRODUCED_1_>.<X_INTRODUCED_2_>,<X_INTRODUCED_3_>.<X_INTRODUCED_4_>,<X_INTRODUCED_5_>.<X_INTRODUCED_6_>,<X_INTRODUCED_7_>.<X_INTRODUCED_8_>,<X_INTRODUCED_9_>);<br/>
> END<br/>
> ============================================================<br/>
><br/>
><br/>
><br/>
> On 08-02-2021 14:19, Gleb Belov wrote:<br/>
>> Hi Christopher,<br/>
>> <br/>
>> here is a small example:<br/>
>> <br/>
>> =============================<br/>
>> STATISTICS<br/>
>> Problem name : mzn_scip<br/>
>> Variables : 11 (10 binary, 1 integer, 0 implicit integer, 0<br/>
>> continuous)<br/>
>> Constraints : 0 initial, 1 maximal<br/>
>> OBJECTIVE<br/>
>> Sense : minimize<br/>
>> VARIABLES<br/>
>> [binary] <X_INTRODUCED_0_>: obj=0, original bounds=[0,1]<br/>
>> [binary] <X_INTRODUCED_1_>: obj=0, original bounds=[0,1]<br/>
>> [binary] <X_INTRODUCED_2_>: obj=0, original bounds=[0,1]<br/>
>> [binary] <X_INTRODUCED_3_>: obj=0, original bounds=[0,1]<br/>
>> [binary] <X_INTRODUCED_4_>: obj=0, original bounds=[0,1]<br/>
>> [binary] <X_INTRODUCED_5_>: obj=0, original bounds=[0,1]<br/>
>> [binary] <X_INTRODUCED_6_>: obj=0, original bounds=[0,1]<br/>
>> [binary] <X_INTRODUCED_7_>: obj=0, original bounds=[0,1]<br/>
>> [binary] <X_INTRODUCED_8_>: obj=0, original bounds=[0,1]<br/>
>> [binary] <X_INTRODUCED_9_>: obj=0, original bounds=[0,1]<br/>
>> [integer] <objective>: obj=0, original bounds=[2,2]<br/>
>> CONSTRAINTS<br/>
>> [orbisack] <p_lex_lesseq__orbisack_0>:<br/>
>><br/>
> orbisack(X_INTRODUCED_0_,X_INTRODUCED_1_.X_INTRODUCED_2_,X_INTRODUCED_3_.X_INTRODUCED_4_,X_INTRODUCED_5_.X_INTRODUCED_6_,X_INTRODUCED_7_.X_INTRODUCED_8_,X_INTRODUCED_9_;<br/>
>> END<br/>
>> =============================<br/>
>> <br/>
>> However when I tried to read it in SCIP I got message:<br/>
>> WARNING: constraint handler <orbisack> does not support parsing<br/>
> constraints<br/>
>> <br/>
>> The .cip model was exported using C API, and the model created too, from<br/>
>> MiniZinc.<br/>
>> <br/>
>> Stack trace (gcc 9.3.0, Ubuntu 20.04):<br/>
>> =============================<br/>
>> Program received signal SIGSEGV, Segmentation fault.<br/>
>> 0x00007ffff16367ea in SCIPconsTransform (origcons=0x555555eab350,<br/>
>> blkmem=0x555555ddf070, set=0x555555dd47a0, transcons=0x7fffffffce98)<br/>
>> at<br/>
>><br/>
> /home/bg25/Downloads/Software/Solvers/compiled_packages/SCIP/scipoptsuite-7.0.2/scip/src/scip/cons.c:6439<br/>
>> 6439 (*transcons)->transorigcons = origcons;<br/>
>> (gdb) where<br/>
>> #0 0x00007ffff16367ea in SCIPconsTransform (origcons=0x555555eab350,<br/>
>> blkmem=0x555555ddf070, set=0x555555dd47a0, transcons=0x7fffffffce98)<br/>
>> at<br/>
>><br/>
> /home/bg25/Downloads/Software/Solvers/compiled_packages/SCIP/scipoptsuite-7.0.2/scip/src/scip/cons.c:6439<br/>
>> #1 0x00007ffff18646cf in SCIPprobTransform (source=0x555555c7a290,<br/>
>> blkmem=0x555555ddf070, set=0x555555dd47a0, stat=0x555555f793c0,<br/>
>> primal=0x555555c8d9e0,<br/>
>> tree=0x555555e51630, reopt=0x0, lp=0x555555cefd60,<br/>
>> branchcand=0x555555e2a0c0, eventfilter=0x555555ef10c0,<br/>
>> eventqueue=0x555555e24bc0, conflictstore=0x555555f831b0,<br/>
>> target=0x555555dbb518) at<br/>
>><br/>
> /home/bg25/Downloads/Software/Solvers/compiled_packages/SCIP/scipoptsuite-7.0.2/scip/src/scip/prob.c:584<br/>
>> #2 0x00007ffff19043ea in SCIPtransformProb (scip=0x555555dbb470)<br/>
>> at<br/>
>><br/>
> /home/bg25/Downloads/Software/Solvers/compiled_packages/SCIP/scipoptsuite-7.0.2/scip/src/scip/scip_solve.c:407<br/>
>> #3 0x00007ffff190e4ff in SCIPpresolve (scip=0x555555dbb470)<br/>
>> at<br/>
>><br/>
> /home/bg25/Downloads/Software/Solvers/compiled_packages/SCIP/scipoptsuite-7.0.2/scip/src/scip/scip_solve.c:2390<br/>
>> #4 0x00007ffff190f1f6 in SCIPsolve (scip=0x555555dbb470)<br/>
>> at<br/>
>><br/>
> /home/bg25/Downloads/Software/Solvers/compiled_packages/SCIP/scipoptsuite-7.0.2/scip/src/scip/scip_solve.c:2620<br/>
>> #5 0x000055555567120c in MIPScipWrapper::solveSCIP() ()<br/>
>> #6 0x0000555555660dca in<br/>
>> MiniZinc::MIPSolverinstance<MIPScipWrapper>::solve() ()<br/>
>> #7 0x00005555555bfd2e in MiniZinc::MznSolver::solve() ()<br/>
>> #8 0x00005555555c874e in<br/>
>> MiniZinc::MznSolver::run(std::vector<std::__cxx11::basic_string<char,<br/>
>> std::char_traits<char>, std::allocator<char> >,<br/>
>> std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>,<br/>
>> std::allocator<char> > > > const&, std::__cxx11::basic_string<char,<br/>
>> std::char_traits<char>, std::allocator<char> > const&,<br/>
>> std::__cxx11::basic_string<char, std::char_traits<char>,<br/>
>> std::allocator<char> > const&, std::__cxx11::basic_string<char,<br/>
>> std::char_traits<char>, std::allocator<char> > const&) ()<br/>
>> #9 0x00005555555bb2cd in main ()<br/>
>> =============================<br/>
>> <br/>
>> <br/>
>> I guess should be easiest to go from here, but if you want to reproduce,<br/>
>> need MiniZinc @ 4802031dc17742e6978fc683ef68324c73a66796 and the<br/>
>> following command:<br/>
>> <br/>
>> minizinc -v -s --solver scip<br/>
>> challenge_from_2012/mznc2017_probs/opd/opd__reduce_find_SCIPbug.mzn<br/>
>> challenge_from_2012/mznc2017_probs/opd/small_bibd_06_50_25__reduced.dzn<br/>
>> --writeModel opd__verySmall.cip<br/>
>> <br/>
>> with the .mzn and .dzn as follows (reduced from original ones in MZN<br/>
>> Challenge 2017):<br/>
>> .MZN:<br/>
>> include "lex_greatereq.mzn";<br/>
>><br/>
> %------------------------------------------------------------------------------%<br/>
>> % Parameters<br/>
>> int: v; % Number of rows<br/>
>> int: b; % Number of columns<br/>
>> int: r; % Row sum<br/>
>> set of int: rows = 1..v; % Set of rows<br/>
>> set of int: cols = 1..b; % Set of columns<br/>
>><br/>
> %------------------------------------------------------------------------------%<br/>
>> % Lower bound computation for lambda<br/>
>> int: rv = r*v;<br/>
>> int: rvmodb = rv mod b;<br/>
>> int: floorrv = rv div b;<br/>
>> int: ceilrv = rv div b + bool2int(rv mod b != 0);<br/>
>> int: num = (ceilrv*ceilrv*rvmodb+floorrv*floorrv*(b-rvmodb)-rv);<br/>
>> int: denom = v*(v-1);<br/>
>> int: lb_lambda = num div denom + bool2int( num mod denom !=0);<br/>
>><br/>
> %------------------------------------------------------------------------------%<br/>
>> % This line is there for debugging purposes, it can be safely removed<br/>
>> %int: tmp = trace("% Computed lower bound for lambda:<br/>
>> "++show(lb_lambda)++"\n",lb_lambda);<br/>
>><br/>
> %------------------------------------------------------------------------------%<br/>
>> % Variables<br/>
>> array [rows, cols] of var 0..1: m;<br/>
>> var lb_lambda..b: objective; % The 'lambda' variable<br/>
>> constraint symmetry_breaking_constraint(<br/>
>> forall(j in {min(cols), min(cols)+1} diff {max(cols)})(<br/>
>> lex_greatereq([m[i, j] | i in rows], [m[i, j+1] | i in rows])<br/>
>> )<br/>
>> );<br/>
>> <br/>
>> .DZN:<br/>
>> v = 5;<br/>
>> b = 2;<br/>
>> r = 2;<br/>
>> <br/>
>> <br/>
>> I also tried compiling current scipoptsuite/master but my ssh seems to<br/>
>> invalid for gcg, and then cmake canot find CMakeLists.txt for soplex for<br/>
>> example.<br/>
>> <br/>
>> Best regards,<br/>
>> Gleb<br/>
>> <br/>
>> *Gesendet:* Freitag, 05. Februar 2021 um 22:01 Uhr<br/>
>> *Von:* "Christopher Hojny" <c.hojny@tue.nl><br/>
>> *An:* scip@zib.de<br/>
>> *Betreff:* Re: [SCIP] isModelCons in Orbisack -- Crash<br/>
>> Hi Gleb,<br/>
>><br/>
>> you are right. If you want to use orbisacks to "just" handle symmetries<br/>
>> in your problem, you should set the "isModelCons" flag to FALSE. In this<br/>
>> case, SCIP will also except solutions that do not adhere to the orbisack<br/>
>> constraint. Only in case you want to enforce that a solution adheres to<br/>
>> the orbisack structure, the "isModelCons" flag should be set to TRUE. If<br/>
>> SCIP detects orbisacks on its own, it always adds them with the flag<br/>
>> being FALSE to not hinder heuristics to find solutions.<br/>
>><br/>
>> Regarding your crash report, it is difficult to find the reason without<br/>
>> further information. Could you provide further information on how you<br/>
>> add orbisacks, a stack trace of the fail, or a minimum crashing example<br/>
>> please?<br/>
>><br/>
>> Best,<br/>
>> Christopher<br/>
>><br/>
>><br/>
>><br/>
>> On 05-02-2021 06:49, Gleb Belov wrote:<br/>
>>> Hi,<br/>
>>> <br/>
>>> I have a model where anti-symmetry constraints use orbisacks. When<br/>
>>> setting isModelCons==0, SCIP 7.0.2 crashes i SCIPconsTransform(). Do I<br/>
>>> understand correctly that pure anti-symmetry constraints should set<br/>
>>> isModelCons==0?<br/>
>>> <br/>
>>> Cheers,<br/>
>>> Gleb<br/>
>>> <br/>
>>> <br/>
>>><br/>
>>> _______________________________________________<br/>
>>> Scip mailing list<br/>
>>> Scip@zib.de<br/>
>>> <a href="https://listserv.zib.de/mailman/listinfo/scip" target="_blank">https://listserv.zib.de/mailman/listinfo/scip</a><br/>
> <<a href="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flistserv.zib.de%2Fmailman%2Flistinfo%2Fscip&data=04%7C01%7C%7C7140fc0d520a4a9000f808d8cccf592d%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C0%7C637484538214761188%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=URzKSc06BJS2pHt5Ww3b8W76rjH%2BJz6jpH5xoOYhgNE%3D&reserved=0" target="_blank">https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flistserv.zib.de%2Fmailman%2Flistinfo%2Fscip&data=04%7C01%7C%7C7140fc0d520a4a9000f808d8cccf592d%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C0%7C637484538214761188%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=URzKSc06BJS2pHt5Ww3b8W76rjH%2BJz6jpH5xoOYhgNE%3D&reserved=0</a>><br/>
>><br/>
> <<a href="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flistserv.zib.de%2Fmailman%2Flistinfo%2Fscip&data=04%7C01%7C%7C626785edf96840c9b5b308d8cc3485cb%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C0%7C637483873252578462%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=5BfGlxui22qs1pCgs8btUzlMSqmXE%2BoL7g1VMYelhgg%3D&reserved=0" target="_blank">https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flistserv.zib.de%2Fmailman%2Flistinfo%2Fscip&data=04%7C01%7C%7C626785edf96840c9b5b308d8cc3485cb%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C0%7C637483873252578462%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=5BfGlxui22qs1pCgs8btUzlMSqmXE%2BoL7g1VMYelhgg%3D&reserved=0</a><br/>
> <<a href="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flistserv.zib.de%2Fmailman%2Flistinfo%2Fscip&data=04%7C01%7C%7C7140fc0d520a4a9000f808d8cccf592d%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C0%7C637484538214771182%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=YvQ3Hg8Zkqc46C2nX9Ohotfq%2FPkDgonbyDGgZanFTWo%3D&reserved=0" target="_blank">https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flistserv.zib.de%2Fmailman%2Flistinfo%2Fscip&data=04%7C01%7C%7C7140fc0d520a4a9000f808d8cccf592d%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C0%7C637484538214771182%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=YvQ3Hg8Zkqc46C2nX9Ohotfq%2FPkDgonbyDGgZanFTWo%3D&reserved=0</a>>><br/>
>>><br/>
>> _______________________________________________<br/>
>> Scip mailing list<br/>
>> Scip@zib.de<br/>
>> <a href="https://listserv.zib.de/mailman/listinfo/scip" target="_blank">https://listserv.zib.de/mailman/listinfo/scip</a><br/>
> <<a href="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flistserv.zib.de%2Fmailman%2Flistinfo%2Fscip&data=04%7C01%7C%7C7140fc0d520a4a9000f808d8cccf592d%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C0%7C637484538214771182%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=YvQ3Hg8Zkqc46C2nX9Ohotfq%2FPkDgonbyDGgZanFTWo%3D&reserved=0" target="_blank">https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flistserv.zib.de%2Fmailman%2Flistinfo%2Fscip&data=04%7C01%7C%7C7140fc0d520a4a9000f808d8cccf592d%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C0%7C637484538214771182%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=YvQ3Hg8Zkqc46C2nX9Ohotfq%2FPkDgonbyDGgZanFTWo%3D&reserved=0</a>><br/>
>><br/>
> <<a href="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flistserv.zib.de%2Fmailman%2Flistinfo%2Fscip&data=04%7C01%7C%7C626785edf96840c9b5b308d8cc3485cb%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C0%7C637483873252578462%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=5BfGlxui22qs1pCgs8btUzlMSqmXE%2BoL7g1VMYelhgg%3D&reserved=0" target="_blank">https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flistserv.zib.de%2Fmailman%2Flistinfo%2Fscip&data=04%7C01%7C%7C626785edf96840c9b5b308d8cc3485cb%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C0%7C637483873252578462%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=5BfGlxui22qs1pCgs8btUzlMSqmXE%2BoL7g1VMYelhgg%3D&reserved=0</a><br/>
> <<a href="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flistserv.zib.de%2Fmailman%2Flistinfo%2Fscip&data=04%7C01%7C%7C7140fc0d520a4a9000f808d8cccf592d%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C0%7C637484538214781179%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=5%2BIcHz1whvSn0uIw1gx2Aci0AnixPm7go47Icy%2Bl2uQ%3D&reserved=0" target="_blank">https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flistserv.zib.de%2Fmailman%2Flistinfo%2Fscip&data=04%7C01%7C%7C7140fc0d520a4a9000f808d8cccf592d%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C0%7C637484538214781179%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=5%2BIcHz1whvSn0uIw1gx2Aci0AnixPm7go47Icy%2Bl2uQ%3D&reserved=0</a>>><br/>
>> <br/>
>> <br/>
>><br/>
>> _______________________________________________<br/>
>> Scip mailing list<br/>
>> Scip@zib.de<br/>
>> <a href="https://listserv.zib.de/mailman/listinfo/scip" target="_blank">https://listserv.zib.de/mailman/listinfo/scip</a><br/>
> <<a href="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flistserv.zib.de%2Fmailman%2Flistinfo%2Fscip&data=04%7C01%7C%7C7140fc0d520a4a9000f808d8cccf592d%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C0%7C637484538214781179%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=5%2BIcHz1whvSn0uIw1gx2Aci0AnixPm7go47Icy%2Bl2uQ%3D&reserved=0" target="_blank">https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flistserv.zib.de%2Fmailman%2Flistinfo%2Fscip&data=04%7C01%7C%7C7140fc0d520a4a9000f808d8cccf592d%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C0%7C637484538214781179%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=5%2BIcHz1whvSn0uIw1gx2Aci0AnixPm7go47Icy%2Bl2uQ%3D&reserved=0</a>><br/>
>><br/>
> _______________________________________________<br/>
> Scip mailing list<br/>
> Scip@zib.de<br/>
> <a href="https://listserv.zib.de/mailman/listinfo/scip" target="_blank">https://listserv.zib.de/mailman/listinfo/scip</a><br/>
> <<a href="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flistserv.zib.de%2Fmailman%2Flistinfo%2Fscip&data=04%7C01%7C%7C7140fc0d520a4a9000f808d8cccf592d%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C0%7C637484538214791170%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=hx7L3KO6hb9Ku%2FSEfD6a08uNfFCr1NH%2F4R6PzwKnKxM%3D&reserved=0" target="_blank">https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flistserv.zib.de%2Fmailman%2Flistinfo%2Fscip&data=04%7C01%7C%7C7140fc0d520a4a9000f808d8cccf592d%7Ccc7df24760ce4a0f9d75704cf60efc64%7C1%7C0%7C637484538214791170%7CUnknown%7CTWFpbGZsb3d8eyJWIjoiMC4wLjAwMDAiLCJQIjoiV2luMzIiLCJBTiI6Ik1haWwiLCJXVCI6Mn0%3D%7C2000&sdata=hx7L3KO6hb9Ku%2FSEfD6a08uNfFCr1NH%2F4R6PzwKnKxM%3D&reserved=0</a>><br/>
> <br/>
> <br/>
><br/>
> _______________________________________________<br/>
> Scip mailing list<br/>
> Scip@zib.de<br/>
> <a href="https://listserv.zib.de/mailman/listinfo/scip" target="_blank">https://listserv.zib.de/mailman/listinfo/scip</a><br/>
><br/>
_______________________________________________<br/>
Scip mailing list<br/>
Scip@zib.de<br/>
<a href="https://listserv.zib.de/mailman/listinfo/scip" target="_blank">https://listserv.zib.de/mailman/listinfo/scip</a></div>
</div>
</div>
</div>
<div> </div>
<div class="signature"> </div></div></body></html>