lrslib-devel-7.2-bp155.1.6 >  A ddŠI%z '|4<,^|,nswk責ȩ(O/*řI[7*A hN<].cj`,7o2 қ7T>.%ʔ3wtKFU6 e;VFѻ\V9G#C`ȠcM>UsYÒ*5NZE:9Z}h`pT:.>ěB; CEhJammQPZ]|!Z_h.F&~ӕ~i޻&btc < "L)h~a/*,/Sŀ!sOQװmìs-R[HžԹ["?˞`w+F+ɮjp16}/hX\n׿棸P~ܫϴ.]F 5CdČ4M\'(ŗ)p OtiHHiuݻa>^y@:ۗmF{ӓc/! :Y; f72e6cbbba6a27405c2dfc003d808bf0cef4f4bbd43034448af3c0750d3cbdeb58056ced60d5c6a4df969d2a7212ee1d4e8e77cfNddŠI%z %YuAM;Lp;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.ddؓcloud122SUSE Linux Enterprise 15 SP5openSUSEGPL-2.0-or-laterhttps://bugs.opensuse.orgDevelopment/Libraries/C and C++http://cgm.cs.mcgill.ca/~avis/C/lrs.htmllinuxx86_640l:'f lA큤ddؒddؒddؒddؒddؒddؒddؒddؒa395e4f655a6c76808322db217e6bae280a8753a437fb0ebca4e4f19e2a38c3e325867b6f8044086a452537c0808124fb0f147f5f16c7ced6312b2de81cbc8b5fe0a210d88fb25a04e70315ae519f0fc033b8e97529cd2bb00e3d0ffda9dbc4be977e8393f914a7bb27a6acc01a0cab52bd79ab90acb6f99587cd66b8468cb816d43dbb0a54e3ac29c61fa53c45c7dc2fb5989f1cbc97a13f042ad038f24221b46d089405fe825ee70147610f1ed3369db031d020b17f2b0ab9bdb0a023c9640liblrs.so.1.0.0rootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootlrslib-7.2-bp155.1.6.src.rpmlrslib-devellrslib-devel(x86-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.orgcloud122 16843306437.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-lrslibcpioxz5x86_64-suse-linuxdirectoryC source, ASCII textASCII textlYp.utf-868a6f7a0acf5abec7af31005a52aba27baae01b15d61295eab8f67efce3f63b5?P7zXZ !t/5g] crt:bLL rPL R%" )@UZФ.#Km/]ށ}pN Oqt{U>3. FwDwG`|D$TxV,cBDr嗌06f{0r+N|t,xAvG&8^ucrBb!s!L_`ōAƺ|EO!X^s!OGg5<ߵ-&!|܋D9*b6M1qؒ5v|k0i]|%t87RͿ$`FFT#z;:AWGXhP;a X{1Y8?05b1 Ck&dXB~N*BTRx/! N VbuJ< јFKWM 6^dKI]w$cRhme ܔZ&ͳ`H QjA,dZ}>32~.vP`" l7}D% j,NGYn'a>>:ÙNݍԨ]zAS/BկxV\ZaN A@4d#]_"5"} 8p&;=M'),.+ .fi2<'kHAd6ߌb\53kGc05G@\spSw7NfRLBܓ&;f#l90#(aäNŝc~RIe%&]!Q)$Ĩ|;HɎM2@VO`'K֌}@^`D)˂E>y{  kޡ3>R5%{mOg %peV8`Zj"Y0ME:򸰘8LQbgb0 }x&`laҷΨӅMFєT-EmtlqD)@-A䤌 OA -姌Tn.MmMI^g2Ol&CMPMkrGǵI$7J" n 8%n =浲j393 Pڴέ1BFd5/Ws!tᡪu<mRҲ`#'‘a'\Km'aMOV3`ٶzTʐ7XvHPE2^XGZ\ 7_-.OlqS.?#mJ 2od+'툆:80Rp|' Tx) 9n5, R"ny/wTY: ,J AٓUs! M|)তh+:ITn׌>ti7PB ,N :lqZ &/g"nՃjxEuqk@y>5{JXhŋƭ(%73 ߯zUoŪej%}Hr8ﵣ+ͼ WL:IsG&U`(idbpU~lfėrY* uƋO53槃..w[¢˚64)S%0iy$H:Xϡ&=x۠Vm},^9[, L}H{56/k^(j0~bnp?~|c]S/Dlύ}pX})3k?q%(q duuzC/^ +9i 8zg};4kOD8vH *G[*y4Fm\ 2;qtĽ& }8e酗ho8uyЇ2 9v GJz x-ul ºdw ǎfա8tۭpNpå EsNlj4YW  y^>a,lu~v{PЯ`8t2>Z{ UZiʲՓʹkNE)4ʨg+1K.y.bީ2vK~#ܴy:dEݲ򇵪SQ瞢Nxb|hĕT08<Ƽ2us@xl̤ebgO+)Òs#uÁbZޣZ[~ssyuNؾ-P'%@(ZdRl6L/ailj~-=`~f eYÙi2GV7N Dٗ.rYE"hc 7ooKՍ/:~wߓE?GsvO)]q_<\ⴖ{\C i kK*~F ghS"tR- LEn @M̐lT*S svZL<F* Vɉ,i~?2 hhM,9wO/WQKm &, [<%!º6g>](WbR驿9E9W{ cZV$[}LkJ C$=7L&K >q#%F?&z Li9,$i!o4M^MԈ@UJHj[,QBLb5-#FÑB,5PVM? 蚤VWvݜE )1-V Tqp_+l4~'{gKnJvbŧ5 ץܮlaŀ =ˮ4k7\$K@sʵ}'ĂڷKɖꎝVXM.E k.W͌M'VSJTj.2G~*U EqWUOd\0b+!,U ͕{MB3{-=Ņ!M(E lRm`[zt[c(_8\%?7ϼOo,'}&9 )A30+G+;c /~n"oX"x:HӰH798%Xl+jYn7#91> 4>% ?T&<?7-]zWu}߈B`2zf&&^όv*o\=sLo,qL$q N7qҾ4_r$E.t|$|ZKڏ !ɜ[T jx\ f2_1}PZ^LM:sdɃm^CwMhYsxsvuF6{A/P64cRͺ[ekjZjPAUnG {[b̗IIجNUP% ؾo_(R93|inӎgg_|}r;"5(]-hMu3V8 keɩE u3]lA0`\~e1[<0(ǤdktMzؼ IV!!ku]pr595EE23<&h~xL T>~s": ,E0(!+sp!sR_9+yRM1j VFCxXFLta#F-dj;Rٴ0f l/t݄iȅ6's J L"3k{UE#E?%}`hĊLS B\3"==?j^{ # F 62 x5š8#bsWSﳄ׵q7{i?)l7XqI2ya>ш֐MƘV}]~dC1P)mMl#NR"/{v͑40Ѽ%*&K"Ճ ތr6j*V[FcM5([\a>ȀO7uiX-?2i)C6|uee4!TPuOèp߰_̓ qfUp @t9+-Er7iܙX1څ e);\OCH(#b玟 @껺@b}q[JYª}k gךl:ؼ 4|N7bykdbIU[AKLml$pszHwhRDm\C&XVY:d^ϓgSs.D`YI ,+rF <yb΅W^ňdMUNf{- &A͛@r\q]/Ob]1Vv"& fo7vyV.ホҀ޼s6VLJdn_WvEL7$]ƎoبΤ$`xYʄzW$@c5Ƣ["6BKComqM5wu?Tj2V`wn`4H[cqf%uNcI8ޢ.0sCnoѣϟj3ezp!a2F0 i_RLZOgB!bdQɿ{ɶ#kOv3jq̵´9vz-  ?Eޑ r Y'׭ KE)lZm( #qxhgê=.RJzk[h@Z‡Me.Zj;͌CM%k#iƹ04K{Y :F6XQlڏ˥}mV-un)uZȿBJBr&f&3FJCr,ݒ&8[g7n#01>}ݎFudAxoq8hȁt>}wTSAp" 7U 'X9O4.QN'% lt35SmI:|F*j,c`:]mthƴNAZ_gLU"C'1/p/4WPಯ.1x* S{hn$J&`)'8[u+^km;H林f_R/%4#3^j^N^3e8Zj[A"v&ko,06 4~0P['̾ޥ@]>GuRKѯ4eŏ.}*}rJڿ/FH;"x$t{Qþ/((@WXJfZ4,IWhERLMSeCov%4U0O72.(r}ڏWL GD<9w ӢP){=txZ. `#K]F' Xմ}U^dV#Rm1[W6:x,`9џm=%M" <7 #g~W@ h6^p *icLe\?1Y_4V<*%!ho:n#X%p͐5 wNp`Ǵ/0¹A'}aƕ3''t !?ejڽz/ABA)Ǒn&;p"{-.Fm.9^]:8l׆H#(jq=Y@)G1O2lV\\)0qWϲw:'-t6Fߨ4AthD8pX-dc3㘙4] Nꙏk'h[`=k+8H5ZUN&F^`VeO9J\p~v^w1>!L|߽;f&M.]^j6'NBKvQO=Td.oj݀_MGb`B@ U{m` »*^Pq{z',([W%a fOpܜ !xV*j-kx.@"#-{N/0x>tGTT2QGc:.h$d`xK)92-9P[*ؔI(:N ltzZ<{ XZ ME/޶rNxnO&f@*|^W|Q;MQh*r]´vO9)ma˲xo u٢P?FZ0Mت/aQCZ뻏p*S]n@2gdP)ƖˊHld<#B 4Qqr1]tr7E+^hzCq`Xӿ2\mjܞm *6QsjEʗ%j )cqΦ~'5:l2HSBFlw1Ҝʉʃ|(3#\h  S]ċ"bM÷a,xN4.S;{,9I mH>0Ƶ\ʃV lte!L?$ ie ?U7x(ѫP M45'=$-p.w &wܙEJ,Ni}I"Ҵ dzvxKTIaty9ӗd$4ȫ tu8?y{hD=S\!{Q׌${2Cw0$H6fVe #LRS?ҡN;/3f^qwѲM2bI@ f 6A"ey6i mur#J3DRwWf%22hx$Bi<~h~KQ_S|3|aoUk== EYmI)]gO}evQr ,_!#v,mߛ{zNcBId@c' g)zn{; /lƃC s;w9 rX;&OBʨm,G!y3K{IU|W^vb.XtSklS> ɇKSHa櫵$@4Z FxK_S/z\(+݃ЧFPbaqǟem9~pI <:ˉw { %ɶ"J?#s̓-B.zʳte)2[PH Δ-ˤ>zS(91DbA~?O&?C:&%PjIpzH~?/obaiXweU5hY"H"m>5|>tHA@ :az\:YS5h+VAvD/ۜTrd #/[eW`yP* LYܼ||>R 9[`8\8o5 F9)e3`ۏaYwQWN|Z5o G -߃W'*t/cf\]cGDH5>}ꄹ#{ p$%B;ι("^z~(k u>> t 'bEj|DYA,&|Hܬ6ZTw5=\33L7#`ط]gq Αo4XɜNDb07)w)Rh:4 uC]Kx|6) # p9"M}diB'BshծpPwEgvn-K߀gW5%k| 㝶\\}{!~n 4P5!k\h'I*QuSZD"%Qݩ^dU16Ž*T6 Лť14!\9nL Ϙ_Fo"]qޒd~3KiIXh\ulS?j9jkNWdZ x2y1֓ ]qz9\L"hHJ, wtM&\P3:kY3ĖAG7%|c@#?=~I3*Y30(-s~_Sc@2݌)tk Vz'>ϰs˹Мrv AЂ20IV#+mP*ABI@E;VXKcR.Bir�]kݎVض~WA$C&j/OW^ZrLk* ht#S#&2~"Q?W0_СgnWm^½wǧ![[tuZZ9DAH E̎*ѹ2ONVgfndɵB;,_XŅ& 0" ,-γd)TEu;Ldom~4+;߁wRdwm=,Ճ[D8u ial_>m~ U-m7"rj/ʷ쑽NFO*>gD^+?ea z\lvל7v_vVTw+-$Gx`Kk^&h;d2^!候Zl)+'ņsgjkB7!JMaC3eK@p+XmFa!g7)mK+uf-Q[ boˡߑoaP("rXN; vlj39 C􇴮Y{X6ytP"BP SAj,|0Km_j0P_sbyt(Y9:;xVTb/1I"E*FFx>5c,;f}4=&mj+}F?YD2-aNqDaV=FQ4|%{+t{6O6jZ ~yKa8-QcCmOҰϛ +-\b4S$63_f|iP%@\WT\4~gF.FXgW1<BH^D Y0ǼBc+<0'" đf|ł8DwIuIO*t)J3T ̥%W<|B 3`@ 5 ˧4%6Z75"|?Ge7#'7vzV34\>U*`$}t:B#ֿ0̗HG?R`_/lX2 u*ɓHpjwղ%kθ3|%(H*I NSan:)li-s._ kxG$% ,iuC嗊z$]pQX;}0/K3p4q#&יh\gۢ 'qPoc&[ F+Z:67!6[yC'4EvGiHwODEɔu_GU~qCڈ!RE-PHiLyWT>(<_Mfd E\L}NiP^kV ֶ?aLJ/#||Jd x}%<`uT0>D@_Ȃ1fa67sc?>DX45SZ|<A_E3Kn x\K^ &BnW5rx\0c&[PO[˰Eg\R!PDf|*NBS$t /"4R5OR/m]u60M6W`v;9RN#C%?r{ N'vE*TX_ E-':]6FMx\Sg zަkB(= YZ