From 25fc39a2b7d0f16290078f22e375af1f096a889d Mon Sep 17 00:00:00 2001 From: "Alinson S. Xavier" Date: Fri, 2 Feb 2024 14:16:13 -0600 Subject: [PATCH] Small fixes --- test/fixtures/tsp-n20-00000.h5 | Bin 62978 -> 25552 bytes test/fixtures/tsp-n20-00000.mps.gz | Bin 0 -> 4647 bytes test/fixtures/tsp-n20-00000.pkl.gz | Bin 1145 -> 1145 bytes test/src/MIPLearnT.jl | 1 + 4 files changed, 1 insertion(+) create mode 100644 test/fixtures/tsp-n20-00000.mps.gz diff --git a/test/fixtures/tsp-n20-00000.h5 b/test/fixtures/tsp-n20-00000.h5 index 2539134913d20664f0b3cc8caacd9ea7ee0acd1a..d9f7a7452aa717218e22a163c006e62e0acb20fb 100644 GIT binary patch delta 2674 zcmY+G3p|tiAIG0<59X3aVy-O;iREs`byH$E%yG$4hoNxPisaHNTaz-;XPxu%-|O}4yU*|a{eGUy@3-gsV~wGnbRhEd););^ z;E$y&04$?#fWOzKUywNF&$oA^N{%1#qz4_mIrN4BVXzty#T$2Z&IW-ngajMv!C4+Q z2}&TWh9(gTP|gNpXdPl}X;7Dx;VV$ZI=i50@S-#mUk)zPxSLKU zZjvS=L{Or(2GoH+4b~a&vVhbOw0tzEh(XId5YXZ~A6_VWjT&;m2ujzk1#|O)H$kR4 zl}PKgu&#Qh5AafS_o9$-#?S|Yv*6okPKd-Nhle$4M^#~QC$7mJGeM$sW z8x$LC8`_S#_6P-t�QEg-?G@oI1>+;8Kv&gYKBfJTQ+Kl2wglD~4p%YO4^Vs8tn= zgIQRNV=GvG6PJx+naYz8C0O8NJpq(nN8FWIDm8&g#pvp1ydwe^)+nKhCj8;iWgXGzwIEiZ1p zD-z)iIk;Z}SLokXkWMgCjDXOt^ zY^}qYoQ~xUJ~keV)Ap0G@pfl|hD|P2_WCV&FYLz4?J3kx@m6{|(9Z8su6Gq$`v~V} zLU~i;EiM;L=xIIh}kjo#0TarV{4o~7Wg%PFu#8&KIBEO@=zT$wucVQqv$D>Cl9Tu znxu{LN;osh^Xs0+D4IOAu$=Q5sNLwYp!ivnpZnEu>Q-E6wN}xrVAU5LzrP$h7+*P; z8}WDCISzw$jH^5LUcTaD+ww3uj&&obfX-Hk@|f+q{+VMmWAA3UpqpF#chQc&t?2fa z(=N7lkNtUV?QByp9?{{!yUj=o&kQ)MD6mwSnn{1wYkw^g zQ|w5}CO58?d)EF?Iro1`@!jV}S0_IrKU?Sd2i-Anr149$k9En=oO$=H+T}%uSf9-P zT*z}C;HHe*D1JBDo3Hw+^{I*RqPRP+@JlH@^Syz|(U&hBu!Ctk(!y&v2qgfAM$P{k z@$tQyt!}gq3l!`ufx2M99VJpBOHGdaFb2ah$e&Df(5>4t7cPgs*9 z403=E{(6VuW_edCXWeG?+8{Ty6oY*mt!|3T?*aiOH`~&}E%Keb^a3=Faw-e63r$~fB;@`5l_n5J;==|yQ0ndG2?Abte3;4P~L|f}u?_Y26EkdXzP7;zr-LjI% zxf@#m&S2fV(CUvm5#rk#f-WA|Dde2C@=Zs7f3Eox?_Q6{s&ToH8I*dxd+sk|e@?o` zp3Z64)~W}W?jLzUE@BM2Qowjo^K5+Gpe--Mg09YIMNk51Q)82QzhyRTG+}bm4p7U) zP5PxKHN$QhbzP-YPGSoofp%+dGQ2sp2z{+{g0fZRYtOXh>uRS~-I>)cx?P8IKY4KX z5RyklE1XmQ%&)0McYf=iMgP}pZZ5zQ}4XS`?j5wrGREYG~by}3>7 zn+nGj28$!$&=kNx5@uysg#@(97eT>WyM?veFGmjkcf6d#!Q zI&oU$?x6MRKCbfxS9JNH!<^Ab*^S6!tHc~4^EQ9*(uz94!w0E z2t91P*v&q?TA;Ym0^9f2{tN#WDqGi{%z&b-~ZQW zBJD}~{ulrV@`cL*ge?45fZ`>hg$Q^@k^2KlL#7?vm&8{hWUT++Ite>(12e-}Rykbv z(~`Ob8Oz;CXoZ=_61HB(?h<0OU>3TB^;*k3Q%-ckZ08adCu1>8T{*~-9E1EW>0^@p zO>z%(7s8l^sgjrEHp{ z5y16<@4#KA%Wii#N=o3}AHo_+^zH>|XNvaxH^hO5AhYkDydd9d45AFy-}JYtR6Y4k F{vW6bOf~=j delta 3477 zcmb_e2UwHW8vZj3kr{>%RtO+6WC{YZk_b_%DMQvR2t+6bK`zTHOZ-_*D8pYUT-l=_ zMFU1Fg6yGaq)?z>0VNJ92*?sdA>8Cg@1;-Mr?*dgp6CC+^PTs6XMW%Jo}PP%geg?I zf+lhafQ$Zy07SLxy6kOj4k3vY<-3043U~cJ$_#2Wy7&&c9m3(IAcq6Qnq@--LJexx zyM_u|D1t&vm7!UL0F2f2%ieH@-IBzRW3h3MNUPQB0q`dfZi zo?0>-%+3h4fqTC~{I5G+6^7G|WIZ8qM9?KH8i^cdVX!B~k$56>TJ{@saI+E%(vT}g z9#@8SI~D!&tdsI#C}gn;G)c%u|Hv$N*Po;UwTLg z9q`2%$#r&~ITDa=kca}*y#?a=NTDvTp96pZ2DTU=RL=Y0qzW$}fS;;OCL+D^(j7$s zoUrvMdm#G67x+ULqe#z=sh9S51$8(GTRa~kyb!Lgea`yYJjsdu*p}I}9zQyg2iA*E z{v&HXgFD|;*f16;D!rR&_5fV4WCC*xTqS?X>@jw82>U`jM+FxM%qbGHfQx>pIcN2= zm~D)+7%K5YJPL(6r;2J*D9qlG4q_{2Q0YoQsT*>oFONJ902vE7-r{`e{uK-&Vc1u^ zMEbjXDwqy|+54Q17n6o1GCXx3@@Po2l&UNr#zBhSC)$7mD)lyX(VO=?0Uyzh8ZsoN z!9Z@^xC{|#`$JF<*&WGM;WPZ*RH;IuaYSM3 z2t($0uM3#KiqY(QCqbV+ZF6{PIBJwJ$;qjWbP_Y-A{gdtSx$O&xrJ{pTxA@#$V*;P zoY7ke6J2g+d8aK*X!bv-^o|*NI#9hN6qNSZI`1+`!DHF%D*xQ$P%&sp8Go`{Vs|;3 z{HV1Wbq=o^SDb~8Ev@JnCmi=dBQ&GQ0lobo zp6;Ojm2kk$4om4?%25Mhn^Fy1ROlCXE6`qMw%WtNjX7-v%iQ(lC+sUx_B6+Xi&QW< zC4uSA-mhc4?cgG!A;o)d%-Qwa+N&2w6FgRBXVI35$!ddnzSoNtTk|_p<09TMOrI-9 ziH(sm@9TvStT1U55&uQT71oebzXE3M1wMdb&3;)=FuAI?(;(NuDQO2 z5+ZR*^|s=$B-bad?(6;rvbiWJz5xNAX%INPzNijf5Se_@G$lpH^h#KqJ1yj(q|+AF z6l(c->+78FPgE$i9&HJHAN}ykNPRFgn6j4Y>L_vT8R@}xRyyr`Z(7%ip*9ON5Ip>R z3iLNwW78y0>tvbJ@`qxN3%pWow4XYZ{dzRzzCy(9XH1Q!Zmw$U>QOI$_6h;Lq*mfB zF=2}?M6Q>b`H`8i0#xAa<)!r~=MSDoX2y5bb~kLh$*Cr(g~|5}Qj(WGEMlgirRCaD zceG39RQ5|HcJTDl6zS+vt4$=h5#0diY*{zmo$`1K&9`G%IbbZ>b&sJ@1>Mp6d}S(r zBt)pVTv;jE%U9c{Hbn4}ySl_;mpJpsA`z#cHWbYuVdxy%@?m^HOizDed(Qx;wWw#- zbL&8#XxY{r@iQLW<`ddsZ*uW?n_T@4$`Bzr`hfn*I0C5nwk{fs^jeq;MefzdZt+pq zm)8O$G2xUO4r58()<=quokdmmYP=`ocKkYL{vUh$-NdyiZ-Ku`Tz@Kj{wR8W8SK9i z>)>Aw_P>_8z(19{{ys+eM3dkzd2$nF{(<9sA{4&7PJOh&!Mr+>|M94cU*I}le$-KL zD*)iI8x@|803bVKituKxVufN`5iq61eeBN{emuJ1y)Sl7uV=v6=q9>3ZvbN|jaB|I zX1vL+b%UmKc9tZ;*uhPh<%S*oc1SWG6Y<%E4MR=3MQDX>7TSCW83;f(b*s=LcoG-V z|LiCdyD{u;tvgf*r{OMYyU8?q16$7E#K8306AsfWSL<>Gzb`@#D%ZJ&wp!X+51SG< zna(D{JBjYhgjp9UpaI$K{{gM$N0Z~TFhUlh?CV22r_sA$RT)+n!caZ1stK#qPOVe? zHAAOug^@>$;Q?(IVjJLf7jNjtejc{unZQp#gaH(Kpbz~sP5#Dzn<#Ko8q-dNJ97Y!C(@$Xw)KGx#vpy%@ z;tYUN2SMZCx8pr=su^@T@9p*{?0#pszonU%7k6K>w{@XNbv98iQ9+um;7+}yaV^`n z1oAy|mcOLM-lUO5a-gGBupe6Yn>?LLs){3aFhIGsmugc#(U7IAGNd&TFkMOQFZNuU z$$Q7B-25;&w_Gtx&&nLQacdRvKyU_Jo@6cw{??kwAEbcu1=8{v5i8<%;8{dK> zGcx)??CCM1tF-RNT~(^|Va^v{>b1nQXv(Ipaa2bNnje{zZ7qL~v-rN{X803C1b##z zTT>tM&rgZP9Nv}sB)na|zw_D+%aQf6d2shLrvK=Tx!C3G7=m0SPngg8XTV~T`jkMwT)U@Ej#t27uYR2I>a5Aw@PRUn6*K%PV%@4+Tc#oUf>_$c z!>q+ahHRTF?|VH?eI4A+?77#?H1*45MsX}3p1S@{I>#wcvuc+wV%2F$@YcOouQ=dp z{yvMRuD2W~wB~Foza&MIoE2gRrtHG%?+VV}zR>%OaeTrzQa-Tb3R|vjR(m)(|AUK2 znzaBSSKDH{Rr|7BDM(nAm*3qu#!dXm=>0#bjrv=-CZT$ByFI$!c8~^%jlzUfGeWkN z8@J$nTkhu{lw^vk*7sZ6)8M>TvWEizZ#9}A7k)WAISAT|3JVIKeL}At zoc=;&XhcD3-vl4-@_X{Ibk6UT6xYSW&E{N;VL*VaNj`o6T#(?c_RvJjH=0}LiMH4+O^a^LV# z#AB;QV)+<5@t70r*GmI@&wjG|>x2N5`-L_4BNDWh3X&G$Qe|yd<1%HLSFfwTcR%JD z;t}(Cc8ib$bLo1S1as>OPJ(%KxH_rT zax!L!`b8M+A>c~TD|cR6qMDF-Pn>^o{ zSKU=Y)J!17$s$-p1Q~Wu-SrhSIB~BT(=NgtDe?x=MJ?0T6FV`MdZKetLF}O>ob(T_a&+MGMxo>;RCOgwLR>2uo?b(79V3sYYMv?|zn%2Ka4~c|Gw>6O_k?cA$7uW) z{xu|WP_Z4%T0J`lK_B#mw}L5e&6^RfCN(I}G)hnR6bIWINByMiJ|1x6Vfip(hDofU$X1DT*Z?B7bEs^^#{5m80!# zf1+alt2>s!phqaR52h1yFM#AxQpQH{BV}sPGY-k(MdSrKFOK_8eW`@+6s3;(hHJIl z`=-lI^sig^npp#bk1Mi#y*cF|k->j=U9*UKaFCVREme~tRfD3*Sdr)) z0bNt&rn{dBfvStvl*X;<>(8WWiPqdz^I*!kWTPHX^&Bg|p`kxBc`=}Bn|b#-*_{K0 z&XGh&v5bMyL^#P)Flfh{H-N!m3JzV<*rNSosr)83k=g!(q48D>`qlc2I50qMDwfN2 zQdz=KI<{Tw29ld3LUlfIptMIkyY5pAm%X>}siJ>q6Rkr1T@INw@dos9OtihX&~N5W z1B9@_vS^~R(@=5Zn@vhG0AafFBy%$KYUXq+H979iIEArC!U$Y#E$MhXzqT~|iC=AQ zi+btb#Wa-KOT}u~39TEUUnuhSO^1$M>5n3zgoyiG!R=vFJ%q9mN4e3R(1a9EzLIg@ z;_+w8pINQunXY4#B{1y?`=ypYi!9YwO9;Z!v#O6RRRaL21CHnd^;=2c%@)2XQxP8E{j z3Da@in~;prysDxMr@@Kve)P%^MOLMk!Nizh+_?l1cd$c~fSGW3Y4Q`uVOko;v>|jo zxPk>^&(y%7UL89jGfNrv+Ol(}C>O3Z<0in(tHlJC&u^Ob^EW$Ik5eiCXcGkHJ<}#~JLn>uo$}!*n|rbJ)S5lzAc8 zq7cEg&t@_SE^87lYju%P_V}XTxS*FEvM->k zBK6g$lsRwmav)@F?i^JW_8jE9Mq=RXX3|@&wKU{CBQab{wo$a{ob32xa{ftO$>M|@ zlQ(9pu{(PTfc}_ExboMq`vhx_3o6(Am+CV_jt*L1&`JEp*k0)-+B*(hbP~lVhjPY1 zmFegMfFvk3J-oi}f{;+|vhp)9PL9`kLbV>&OC>eAV6?Gv#G;nuVRv55CbnE3^%jhcskCM( z|IqpkAv^$-2NlR@t^qRw<~z3b`bebxb-c)ode`{t_&vLqrh#&U%Fz#k3*f<(7|kU| zqk&4y(5h($Mb0qD%Gk>L_@#iIz?Gynvb%NyU8&>Bv>DCJJvSGIK_pUl#O*1Ba`d2# zMlJY1t}8ED>$&F4J4o&IuLf&BP8^9=F}G-23XPmaMxBv>ZOJf2R-*uW3mR4aKgrc7 zF#FRRHta=m6Ay;e>~NNEn&CbVAXwmv2cu)CXH1;<^5+nw!JdFl!CVW5`g3_amiv)Y#X!UthCp5m&{xoBKi2E2w!V7qvFNUIf!x zDl~{Z?_q_c9)^18*WfW7w8sS{#kOk!ba;%pDvd30@|HS-`aK2JTUxPLo9Exp`hGpf z2Hku|oV)GoD(v_zE3c>DIQ2q#=${=5NKanGlJ$pZkSLR@ZxuoNF!Pd@EyVN=WLjIa zefQ^gD?v7d-Q_DcaKqd-^z&*q>0kh9Kp-a=jFu|Pg8X?bzLdcgE}(Fi6Tkk0C-~<* z=wCy>6xOqi*punM+aExhNcyS@*%DT!?^0E&1j94Q%m-+MVq0<7TgP@e=?8`>bWAw? zqK3T@q>e(m(((;h8CA9)HqquiurI^GX*Gq;WUy;pG9QT2E7SriGDn$V+<;PP-y|6` zG&a)1g_>v~51%o^4S|VsctR`W;gS2DBTwJl9bZq5cYe9^vxgI}*AW$r7%-EU#SjGt z^Bwa6IE(Ya1+K^C)_~?rcC{NMqq=Abkwc^9!bj0uq|IAus$2Ufs>cg^3WafU)P;Z9{ve16PbEP!Tl;V0s4UB&n<}D+ascXMua2Up&?Ikbb;{Tp-+JLtk zBp5{f+>pCU=IiM1mmNmBJji_WFTnH4%DZ{Ov!!(h1;=`@ap9ZSU6jwSYsJ9~w1(nz zFUCBWxpb4;w;0+R^|IB2CD5vqs?&oD9{e&S3(PHpn)FFsx zY>H ze4}-HZ*+OsS@I$$Y0BamomvA@c9d&md~!V{1;oE~v`i@>e@Yt^iRVW(u9|sH$<~d7 zVSwcTGO?uysLgRF&j6%=yHVtO#1;5ccdH-nIrXWsJ7||#o4XHyJ`Vd$$yXS9<3Ytd zYn-EEYRl21W9j48be3>Bg$=N#Z*fU;;359%3qMAmH60)P9JatmYkAK{LF`j z;y#UUc#h`kRrKp;eJj!4NYJY5)<6xv*7q%7gm(35|J)ySN3Y7KW|n;|naZse5bP__ zp3T-+?Jz6vdg_t$73(>iQe;081p3#3>um55Pw(N|F6;3Oi+m%sD>0rGXA2n?r+7!# zWQP=byJ=^FIyC_BdD2R$%(N=ZeuN60pb^Pa6s_E(h?rpUeNr<9@9^&Q#Z6a7!34e1 z#b#6&3z~?-lux6IN7{kzbkjRR%K;iMtD9SfMNx~H9vfRP0q|FdX4^MOrO)_ZZ~EiZ z^`Y~JpF)M)m+~RcE1!H!Mi*oN8wR+2X~I{ahKi;Q;gV;Ei8#RqyqRR|dY#8d9UM{dTYod~oj=Y|T&G2#Qz zFXBk)RA!5w7^pLeOibInGI?`H(+v?j$sb>Gsz|4CLrDCRSZg||0{Xh&I3-*AwA~jB zk$75f+Zx^bY?%M>RkBOL{ia}vr`KNJe77>JZEqq%QfBWaC@tFPo+gTeI?j)X7a=8RieOygl0(Td&dJ1~wLS6^lkS&?q&2@~mimnvzHE=u6=uG+Px~ zs|^&t^t=417EeT>rp*uNfjMB9@O6VOe;BABJ88`+#sddR1ilQA6uVjYqYNzDdjxqUs>Gud$DB*Qp-M7L-TGJj{4+@ct$BWC$ zdn|l>)Rq+kzAywPi+8kpF?7>8d7~ANnmv zAyOwso=^0NQgBhH1U+-%9Zr4g!gomh(`zMK=6)xelk9TdyKU@pMB?uK<7IO&aiite zVGD7mw)Wnk2j=vkU~+)Pd*=J@-|tzxH@7_g!CjaAwNr+Xxu?n(8=T9@tV&6GnsCLb zHbu!J1PnSY{|9<4I|K~=8v?${|%I(#J4Ln z=YS;svqJNq&@3NMl?|hXwDGbiPY8Dh>xd&OE#j$iU`&5l)Pv5U`BwMYa#oo%u&<<) zhec8&2c41svijZ@k|_%cL;ZCqkR~riF61yU)%^2^mBy42Hkk6?fD4Dd<;%eoirqva zW5lj1U#C-g3~O)KdUFmr~n&%WK6^(_B}0H!A2E~3}uJ}JBw8lqXq^B6k^oQ;)k8dSI+zA_M!Q&?|7PDG{D>20xc_sd9G#mx6 diff --git a/test/src/MIPLearnT.jl b/test/src/MIPLearnT.jl index df7799f..3da1256 100644 --- a/test/src/MIPLearnT.jl +++ b/test/src/MIPLearnT.jl @@ -38,6 +38,7 @@ function runtests() test_solvers_jump() test_usage() test_cuts() + test_lazy() end end