lrslib-devel-7.2-bp155.1.6 >  A ddϊI%z j-jߟ 9ec.LWp"Bԏ"[rr/^Y +`lk{r .œm P -P[9WMrZU-F]ӊM%zj@XPZA,]Pes: u;ٽlΰufn!BcTÎox1i1Wz%`3N'qT[0ͷBnNȪحir=jlO}H ֚U.!rDSRz%fa6(~MߦEˢ4vb$T%1%T4@u>~qbjG|6 n>$奮[d\k[!0 fG6ݠbvau $EYE*qD!_OlՌV]Cm#xo:qm,,)H@e13f04b5111166e8fb04fdae6b49b5887dad22e086739bc043295a10adc51a4fa586a8fe91f025e0e1509208c60eb6a45f79ac7f5NddϊI%z zF9Z1!p^2|F )m*/@:ŚVIpޏ,[nKP^=vM?7i$'+[ U(W)Ld>Jeҏi~D(ǒ'?zB0Fw{vĥ*\ Amn2 J%9/q8 a?|EvDI26߭FP*ÃyG)AѠ^Y߄"6{Й tA-]~+ÐPgp;4?$d  U`dpt < L \ |  <do(8 9 : F)G@H`IXY\]^bIcdZe_fblduxvz Clrslib-devel7.2bp155.1.6Development files for Reverse Search Vertex Enumerationlrslib is a library for the reverse search algorithm for vertex enumeration/convex hull problems and comes with a choice of three arithmetic packages. This subpackage contains libraries and header files for developing applications that want to make use of lrslib.ddobs-arm-8SUSE Linux Enterprise 15 SP5openSUSEGPL-2.0-or-laterhttps://bugs.opensuse.orgDevelopment/Libraries/C and C++http://cgm.cs.mcgill.ca/~avis/C/lrs.htmllinuxaarch640l:'f lA큤dddddddddddddddda395e4f655a6c76808322db217e6bae280a8753a437fb0ebca4e4f19e2a38c3e325867b6f8044086a452537c0808124fb0f147f5f16c7ced6312b2de81cbc8b5fe0a210d88fb25a04e70315ae519f0fc033b8e97529cd2bb00e3d0ffda9dbc4be977e8393f914a7bb27a6acc01a0cab52bd79ab90acb6f99587cd66b8468cb816d43dbb0a54e3ac29c61fa53c45c7dc2fb5989f1cbc97a13f042ad038f24221b46d089405fe825ee70147610f1ed3369db031d020b17f2b0ab9bdb0a023c9640liblrs.so.1.0.0rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootlrslib-7.2-bp155.1.6.src.rpmlrslib-devellrslib-devel(aarch-64)    liblrs1rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)7.23.0.4-14.6.0-14.0-15.2-14.14.3bҨ@`@_^ۅ@]\@[[.6@X+V@Jan Engelhardt Jan Engelhardt Jan Engelhardt Jan Engelhardt Jan Engelhardt Jan Engelhardt Jan Engelhardt jengelh@inai.dejengelh@inai.dejengelh@inai.de- Update to release 7.2 * Projecting a polyhedron to a subset of its variables (Fourier elimination) * Determining if an inequality is redundant in computing the projection to a subset of its variables (uses SMT solver)- Update to release 7.1b * Fixed an issue where output can be lost in arithmetic change. * Place lrsrestart.h into buildroot upon `make install`.- Update to release 7.1a * Fixed memory leak in countonly option for mplrs/lrs.- Update to release 7.1 * lrs: redund function is now performed by lrs via options, but legacy redund maintained. * lrs: extract option to extract columns from the input especially with linearities. * lrs: hvref makes a cross reference list between H and V representations. * mplrs: Temporary files no longer used for communicating with workers. * mplrs: Parallel version of redund is now available. - Drop lrs-version.diff. Add lrs-types.diff.- Update to release 7.0a * Misplaced leaf test degraded performance and has been fixed. * Bug in volume computation in mplrs fixed. * Default cache limit set back to 10 to allow large parallel runs with low memory. * Reintroduced buffer for removing most duplicates when allbases option is set. * lrs1/2 on overflow no longer gives core dump.- Update to upstream rerelease 7.0 (replacing tarballs sucks, upstream!) - -- lrslib-070~/lrslib.c 2018-06-25 12:30:34.000000000 +0200 +++ lrslib-070/lrslib.c 2018-10-23 08:22:44.000000000 +0200- Update to new upstream release 7.0 * hybrid (64bit/128bit/GMP) arithmetic implemented: * speedups of roughly 3-5 times (64bit) and 2 times(128bit) over GMP for problems using small integers. * overflow checking for 64/128 bit arithmetic * __int128 (gcc v.4.6.0 or later) and FLINT arithmetic now supported * lrsgmp, mplrsgmp uses only GMP arithmetic, same as lrslib-062 * lrs/redund/mplrs start in 64 bit moving to 128 bit and then to gmp arithmetic as necessary. * single arithmetic versions of lrs/mplrs available for comparison purposes. * single arithmetic versions of lrsnash are available with overflow checking. * plrs is no longer supported * removing the -DSAFE option disables overflow checking in 64/128 bit mode and results are unpredicable if overflow occurs. * mplrs now prints maximum tree depth at end and supports printcobasis option in input files. - Drop lrs-am.diff (no longer wanted). Add lrs-version.diff and lrs-128.diff.- lrs-am.diff: add -lpthread for programs using boost_thread- Update to new upstream release 062 * New command-line options -countonly, -stopafter , -maxbuf . * Volume output. * Counting statistics on number of jobs, size of L, number of times empty changed to longs. * Performance improvements for problems with large outputs.- Initial package (version 061) for build.opensuse.orgobs-arm-8 16843329927.2-bp155.1.67.2-bp155.1.6lrsliblrsdriver.hlrsgmp.hlrslib.hlrslong.hlrsmp.hlrsrestart.hliblrs.so/usr/include//usr/include/lrslib//usr/lib64/-fmessage-length=0 -grecord-gcc-switches -O2 -Wall -D_FORTIFY_SOURCE=2 -fstack-protector-strong -funwind-tables -fasynchronous-unwind-tables -fstack-clash-protection -gobs://build.opensuse.org/openSUSE:Backports:SLE-15-SP5/standard/967bc941ff4206805c14d92330127a46-lrslibcpioxz5aarch64-suse-linuxdirectoryC source, ASCII textASCII text)GZɓXdNutf-834aa1ed9529dd0c578dc9fccb1cc1f2616374f93c0e94c193142b5006b154e8e?P7zXZ !t/5k] crt:bLL k[ u2^YwRi*)aUo_sZ^QCtvy%)S9MGj|g\' tU, ʺǐ^{A}YMhٖQavC77>z$sH D< um[x1BNצ Cga4S&U$#6-5 ӿXZ얀D _ ҿ~qSm#XvÇEX>rsN`;|c#K@uUuxyD)P TMh2$ Es2ú-zΠӾ2C׆t@E3{t)?:"=B*s r7zݨ4Q#/,uI*ۗao-VvM8$F"7D!3f,4$Iό~|.!)HlCݐVj:2]`KyUUNؚ Q-.!OبV˄C)j,Mo˸$NC-(fqNKWœy.nz>%cq ճz沿˳f)E$ϻK~mwhzD_m6f]<況_Vw$5,!C4kr|JuZT*O7WF1BI.raz`ˢ0sj󈙍noX1ѭtNDM!A䛽EYc &sR:sf8S`Ιsn 2&sLîkeh֚+O0N0YD̆M%!C-`A"`?v×#vTx69z t{[Y"ܞ:-80`XIgj[a6x &eGc`]BPfNG"g$eǣm_Esww3ۻv)2As'#!(e0/n#c{vmfƃ񖫚i)u>L? a+Ƌ2O 0ݻ#6uCAwǠ!ܾt6י'\wy81a>` eNqX`2@֝ *#Xan9QU5wNn{`7aq#)!5@5&r% Ѥ2FP% &YYfȑ CpGtLB5J֪b:Q,EǦiD|?2xA.ƽ؆t!z1?ۿ^7r_Tc.]}bAETM/4%HY몀~$L@jFǸ]'6шPMª}\q̲}q-ۉ$n^7`}} ;%unl -FW9~3l .4y hS8!r4;y6poPV"2Ehgʜ]`k2 x}T `k]zF  `M?U۱ !>Eրnh~^M)8%j{?)8e):|yVI=ga.tHWc~7X+R7MbSlD 3dA&kW` t c0rtq[HoV<9fڮXpR9d%'̪\Y34D@n.i:ȶ{ȋ&^-W ԁ#8J)-\1'87Z3g 4bexn>{4E𳛢UqbC *SmI/Qfࣄ C;PS">-hrQ?^}6gZRo֖Qv'erBNnm9Bߪx5$g*s+qFyK +.@imr]T%Szz[T6Z8m[TS. }8:yTJ0xbG;ؙ/~SLI_'FAxܪ6q/rӗTO/& ڄ ZĩmvhղL4=&c]h][H#r=j6lt$Y>;#l+.PL f))8Wqnato2zQc٭Ce.xrô%+0q@_ \=_]^QiMs}$w2w+;R]~* Pf礸mҖ%?B: 8je`HԜh#sUFt]Y./֤b+wi4CڛK#,P\İrz"v ;j__nhiaFȰaĥ gEBI[/yT6Xxuv_tЕYIMdWҵ;̟궩/7A'$_{JAz ah~#eQŊcJ9>=ۤ s%c53yJ$B?E׎cj5KAa֌!!yA| ׃{ClܵݗK̍"]t-BD/ !0ʣxXFX,W^E5W^L"2my;)O4̺{ސ Nj=A+* =PZaXQ1ѩl 9)(=qhG0]Z;A-9R L"QVP(gCRQ)˻}1D׀!IYm+'逖X@5\B ؂xcͯse ~<āt5\|rҶ6)%pahQlЩ={mhb_Y ^>rK_ˑ&굈+Խq\#ʴXi'G$k? nSJaT! k6L5Y\c 8Q'{I8 g=⊮َΥ'ǝ~9qM!1oxeujep*C/{^ɖ  (ftI.rW Cs]^HU;q)Ov{ҕ!]u ҩ* >HO|PE3)o;އ=x`]XtMfڻ{3PzT:iuy" JYe}vL[ߐX+Gp~PdJ&u u T.kГ-XOw(l=A_;J6&,VfP~lg]>=ŭO.sT|5 v"wfݣ*zpO@,6C nbj0(),`V0%&o'p>ȽZX3Ye5_6svFO~ީgbE'Œ{bdc?$ A`YOc]iWO:4"-EZْb~_`PQ¤X=Qʢslj<{T(H Z!x W^ي{@rQb0*ܤ, ҅m K&*ͷ?[<6B0|bfkC]tmv`Z;XQ/ I֋Ʈ7z>-I0rdl}ss=2xMc~G6w'י7O>ݔՀ|H2Q~m'Jw:$z ^=0 u_hfivpOc=%(!HnϽj`mcѹ_ocIi92Tc(3ī`>f% [k_X4/F(JRle :\05(WfL0n{*Wi}eL%(}DN _ÌbT)y҄,Irn K=~rsg)>rh`׉ 5V,4_m ¤nbM%-g_'uIm]K^794|B2tq>{"0JZtoe Ơg i >{H= zN=jMXߑr>GBrFAĻO lm6߂QʎOpfI0.h\q2Ö(p?ֲMA5B(}R"&CA ;Dv]qydͣ\p/h (F7IZ6%UGSOE$SLޫv<=A hR"-m"${TΥr%M1,`Cؓ\ kEprz=?JL2h7=JEkA%KysCj 'V d^xC(9l03:d'LN7)\m3} )c>2.A3L 6 *DzvېJF {esxS &c8Mrđ%iOZQVɆլ."df ^(nWUg~I3P%C*1 xphS0`GJ"66=?'Xjj5Y6&ꅒf#Qkf-vndlPO/WtrRn`#)`jڶhxDݐqCQѧYakn|oUwKLMX_ݕ6LɐÇ8 -w] *Nsp5yt'9\:Dѩ^3:%>͈y gS4NչQ?8!^D}Hy7(wˈ,ӕXdwr,T3ͰD葀U,fu46[I,Lo܍9m}'{|AtV < 5.ِ+ÚjVfc=;UWNb5`QLYF&jĹmќ P/+#f߲? \F/ ɩaS~N+g! uc% |z=` q!*c[3m FI.bkox/,cpqD_9Uv]7ӪJIywfLY՗3ube;y"%JoVVX&R5Qž-xõ)Tj^CNPa3zRC(o^9/17(ٰKTʎ]DT)ʼՓ5>f*ۚr.sV2uI\I%]hjͱ}ށrzG*3XjU$*H\9?*0o~͔D`'N&=Wfj{U)&Z.X{h8 ЙѶ+TmjXT>b]u.y; hwm"(n%7O-_:Y\G#!QrƋݭ[;t vF: .0 pW?wVHE}$j~A>b3$I=3m8z3د9De,g6Pr [94AB2y >5"] p39e]jLE{|Lz?qkgVZJ)9.ăR-$}̀y{-Xwo1R=mF͈ `!D!dҏ5}`fMa4S-T[o~UF8ݮsllY/ȟ [>`зyOrh^!R{wPH*0bUSM.tDYl!\Xo6c# @08KZ>V#'2? :jf@C"#owԏcAjj3@Q\;+XiC-Z$diGc"E/1wJ6UEżT{(dj GlϏ_]Ⱥ=,QׇSNe q`{ ul$LJ!i99XM5]g]h):3+Χbu${@-oyP[n: .#C/yF;pNԢ[6 68( Bħ@ovj9G+:[˗7Aۧ\ /@9eeI3 =K4rC h2F-YGxox3cZ.2mg\p<;yiy"Pѐ47u(kmY{t ?ٳ"ӻ_Q)Pi"/{kưmQrcf-ݑڥm)pHU;"`)ec?=ֱ.0 Cr_>'r&G)U8R1}>o$׳:9\biT@E?}U\UUA]jWný!{:o;P5(OѮW~S*m!@B\*RbXbkX2wO*corcߥ;+ Jˆ9V)b_V5 G@is>˼){{+&$_K RWz4 MBm}mp➍U+)tRnN`tx]qҿAEl&eɂSjFq`DV=/B$Hi àb̀ߢ06zH,8ɒqq8@F^ ctf>6 1'E;[ 4O{OUfѣ)=wI*rU2?ޅdkZuR,;K<yܝA ]܀+2HCq |RD*h%w2Hމ٠.w z鋒ȠA\g2j(C}F1c: DfzhM^7PڗqR+#Dqq* W1',Ҷt &W%.vRUSHl{SW\ab.䟛^NcfR=;HwJO%m8zU6s:Ӫ`;KNOvS߰_N"+yRs__Ѥipb%ƿk@s (+mΦH͠Uy&7,Pe9b6칗Bf SpK}28dzvm/稙y}OnRDWtbXm#8:fkCtؙGW78_֖p&i3QY5iR&9<~u{Ẕ#D|& ^l-cv >B"A}A7~/fř3ItH΂6f^?O}Yc_5XwBР50k1zN;Ǘ+/Zh1cĽ!r&=- L0Af'*v(+ga&[j,|=0cK- 2Vc9B)\rfINY_q\9$EQd'$b#IJhtY^݁w*7kwHpAbkakDY JSshRa;.15MEl3= J~Su0R)O|s+BV=j޸29ѥh 5[rW+/XU {VK4vz` @) off)ysFd Sg oW# ,?C€q F?1nP.3"NF/MvJ2&O͕;QL_@JAQ֝iU݁ǘ9|"8_uo@*?sWt ] AoĤnV+g7&LDgI[v2T8v}OpN-VKXɽwiiyo9T~ZK:4̏{J'("=4ю44ZҷxqBo(T<ELe2PmNaR/;wHwdPTG:Kbޥ6j%,Zs W'|@o٤*m{i*K-L=rC'4(kbGa;P|vVc}YSz\'֑$Wi9 H+ {2۝+̺D۽WfaomS:Dвuôoa4lR/T6e_< -^،zלThOR|>t,@М0}nX-sSK&t۾.ܤHU7iO|&`//EXs7H)>gi`xE"deG+Cl!T\,b<J:`UHYU!ŧ_/:7zCf x14hDTqV_@u ^Kv}!9>a2 "F@}y+18@elNj"PmtVuBKY=Vv6(8L$KTm.hF%1oBKR(oN+M l؋zi~-Ζ[;|`p9:V\nYSJB!R?!Gh|DGDt k~3A%6H)xS=:D{ v8r"T}k Qq60㛛cyp(6m-aX8@^-guє6D ֦65F rܼ6%/G7qKj3?rFzw`Nehۉ꾐͝ŁI: Z~ AGLqc*Ӆ}l #C)iz4XWx+, NMj"f  ,9T }BdKBr2-"3,잰ك\PE x3rp\xjs|4Mh>Rly Uz n!yΆtLB: Ԭ!l.x@WD  )?S*" OΫ`Se4/@-^΅j[!6imx8Lz Jhݨ3itJm S0Z@&bJ޹ p}6Ÿ[mMĆGI>8*$2w^ikoGŻ ~TM5կ 䅅@ _R\?P{|il-1.`F2_9Umՙ^UD,${vn}L<1X C46=ʖ~IQnڱlD'_n MӅġ7>IF|TC/;gBq.&ZJy5_fᆻ0%  pҐb%40DT߱.`YC PfPl6ϾK2IQ8>ƼEm(2aal~xһ`"> {3& k%H*}j7%vPw*E!B(Q\2r& fK}f#S2{$觊 M(g`ـ~5'-mXcKhtF[Kalph8)@\ޞݥ͐hh8=*عJ`2f,IP^NuC?t1J*a?-[:q4lFS TNO]}(z/r;3kc=[# L K$ @LAK *;rV`k?,vJ~2ML\!TĀf=1q' _m&  R}oxmjZBc47*-'ڎXc`4ƥbZu%íߪ{|9 ]3|7ppr׉gU[DXEf>(L|-YRb^@DY]w_NZփ2L]뼇hr-ŏ{{A,Y ]˒}&cfk Ddb7f,.6m'4Ǔi/dR:CDh8[:eyXBLTGɾ.ͤ4S# HPGHDe)E<0椁90s+ҭ0ibmڜ8JqPܥ^oы.%79h]ܨThYRh4!mcWےV/?&OXAO"Hc7bH힠)'] Ҥj/5ѭ� P$d@T+~ie֢Q?ZI^:0s;pO/V KgIEv$P9_D=\l#'"Jjk~(c1 jE3ye֘#Z_K ly٪zQvq$6QliMI,K+aw*NIʲçe 1MÀ$@AHj*\w,!q%,k;};uCi,Xvz^acrUB@cJE KQN`! vH}5v|88~$k6sﮁzKD;rQ cҜa_*TuF/gGcߟowVk~qfeescJ62fIn>h)Dg{~u?m6e# =AXaʊ�MVPwEA{q?/>{v3G9ɭy{1*a,p \,#ixN(pUq h2mLC=cS{$q!~Jb`چ |Oo5NB}aL]ղi2k��Ȑft9֠Zs>P>3+YCMw�k������ YZ