minisat-2.2.1+20200902-bp155.3.12 >  A dk?I%z * %WBw)Xg#R2>GKpV^U!dj<ŖA"+eрCccnt'X OwovAUl"_a+rMx2-sV5]D c?)nVDޡV,ůyY*Rm??;3L t\\1o3,z%_>WF;BI53 fu>a:fG[[:éy. ̾A/7 !Vϗ!RD~r5#Щ 'IxțFX| ыˏHWyP(F@^4xlJMݟ Pg _rL~Uy{M=ќ?e4pXxtyJmE:儥4x6ޤU<`bdԝ5vZ;7e*n|pW( z|[e]?aD68ebd23e8ca035ba873332307b385251a01e4bf121c5b0e8d3ee5ec4030e370d312ea1ff74ce5251e59d07a9e1c66425adfcd3b9Jdk?I%z myۃ;dB͗!mƵ+[`YBE5T$3{%1;Ro:b^԰J-t9̛)PJMbR_- ل 5:V{vw8A3@et5t+'9Ŧ$oH)ق((sg, 5kWFeQ.M{hTG`4c dNJ0$Xt;^g '&ܱ1_` ߅j},Q^Y7>%mS&@xSݱ=D]*oTX V)]\yRt!kavkכiGl[ۡl"&Xb~3*o\LMA+4RY7R md9joEknҜ>p>?|d  $ /  =FJ d|     2P|u(8 9 : FHG`HxIXY\]^ bc?defluvwxyz,06xCminisat2.2.1+20200902bp155.3.12SAT solverMiniSat is a comparatively small SAT solver with documentation (through the following paper). The first version was just above 600 lines while containing many then-desirable features (conflict-clause recording, conflict-driven backjumping, VSIDS dynamic variable order, two-literal watch scheme), and even extensions for incremental SAT and for non-clausal constraints over boolean variables. The current MiniSat v2 supports variable elimination style simplification, too.dk?old-cirrus4SUSE Linux Enterprise 15 SP5openSUSEMIThttps://bugs.opensuse.orgDevelopment/Tools/Otherhttp://minisat.se/MiniSat.htmllinuxx86_64iXYXvA큤A큤dk?dk?dk?_P>dk?_P>58bd26724401184ecde932088cd0c662aaa5a0ff1292f9f903e01a64274c68e93a377c2ad0216585d5d3737de325745a3bcd295880a6217b8d21747ca6990f144258eecb86330701adc5ce6132df450a1e117b66d1018c307d901a583f3286fdc75f5063560674728fcfa7b9b291d26a3a8b9436a0d9940eadc81aab7779d62brootrootrootrootrootrootrootrootrootrootrootrootminisat-2.2.1+20200902-bp155.3.12.src.rpmminisatminisat(x86-64)@@@@@@@@@@@    libc.so.6()(64bit)libc.so.6(GLIBC_2.2.5)(64bit)libc.so.6(GLIBC_2.3.4)(64bit)libc.so.6(GLIBC_2.4)(64bit)libgcc_s.so.1()(64bit)libgcc_s.so.1(GCC_3.0)(64bit)libminisat.so.2()(64bit)libstdc++.so.6()(64bit)libstdc++.so.6(CXXABI_1.3)(64bit)libstdc++.so.6(CXXABI_1.3.9)(64bit)libz.so.1()(64bit)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)3.0.4-14.6.0-14.0-15.2-14.14.3b(_]]>XX@X@V@V@U-@U @Jiri Slaby jslaby@suse.czjslaby@suse.comSimon Puchert jslaby@suse.commpluskal@suse.comjengelh@inai.dejslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.com- add CMakeLists-use-absolute-libdir-in-rpath-handling.patch (fix rpath (don't use relative lib64))- Update to version 2.2.1+20200902: * Fixing exported definitions * Adding uninstall capability * Revert "CMakeLists: support different lib dirs" * Removing second STATICCOMPILE * CMakeLists: support different lib dirs * Updating to fix build * Export minisat project for other cmake builds * Fixing static vs. dynamic compile * Quell some clang warnings - switch to obs_scm - drop 0001-CMakeLists-make-static-lib-optional.patch (in upstream)- Update to version 2.2.1+20180702: * Fix linking of minisat as dependency library on MacOSX * fixed GCC 6.3 warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix] * Specify default argument in the declaration not the friend declaration * Fix declaration of Minisat::memUsedPeak for non-Linux systems * Remove illegal (and not neccesary) friend definition to fix compilation under clang. * Fixing problems with compilation with C++11 compilers - switch to cmake * add 0001-CMakeLists-support-different-lib-dirs.patch * add 0001-CMakeLists-make-static-lib-optional.patch - remove friend-declaration.patch (in upstream now) - remove Makefile_lib_rule.patch (not needed -- cmake)- Add friend-declaration.patch: * Fix the illegal friend declaration that caused a build failure.- make the version the same as for stp, klee and others- Adjust _service- Trim description - Use version numbers based on those used by upstream- add LICENSE and README- add Makefile_lib_rule.patch: fix parallel build- switch to the git version - update to 20130925- initial packageold-cirrus4 16847502232.2.1+20200902-bp155.3.122.2.1+20200902-bp155.3.12minisatminisat_coreminisatREADMEminisatLICENSE/usr/bin//usr/share/doc/packages//usr/share/doc/packages/minisat//usr/share/licenses//usr/share/licenses/minisat/-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/a1de1add360c1536b2ff3e6919486888-minisatcpioxz5x86_64-suse-linuxELF 64-bit LSB shared object, x86-64, version 1 (GNU/Linux), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=82e733f39290a4c87377865d835324cbb0f84fe2, for GNU/Linux 3.2.0, strippedELF 64-bit LSB shared object, x86-64, version 1 (GNU/Linux), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, BuildID[sha1]=ecc3f0bcceaec74dbe8aace0e2960c3e1cc4f25a, for GNU/Linux 3.2.0, strippeddirectoryASCII text RR RRRRRR RRRRR RRRRRR RRRUZo5(]·xutf-8b0cb5d7c747e829c8a1a241d076aaf2b0787beb2b4aa726b130c01fe3064aab6? 7zXZ !t/қ2] crv9wCx9KVNnZZ~֚|~Ae;?Q x_ `f~6\MpC}y3R$ЌS98ḑԽ(OQ‚z2%?쏪poU>0 sj9Cw|_4)<]MuEF|FgX#2:_ďN%7ndlqb8.tmth#{1z[|,z2" :DkHKQb@1TH! Ehb7Nno]MJ%3[c_KBZ\^ N&_?k RA}i:dsChn "ȩ}`?xq 0R|TXˑfa;UУn3IWBu›fYU,ȝ*$}nΑ'YUɏ/m>=MEE{ёm?ǥj9,JRԷ\R)L9:bRjpt@6dQM/hÁ,~H-Ls)? r3~ eU-FQ$A;6 ƮӁc {K׀$aFHǴ*Iz#t,[R:)~L{/,-2~Pic[UH.b/( jj0AT|kȎ'Ȉi0RGu3vL ?P+[ch|z"xص*1#:X*`T-3Jf]{3zhqS逐Iԙ0 q }~jV*6 #~dwX&FԎcO_NXL'Y} & Du . ,^|UHեzSI @=@ԑsZK֪ǦG/ =,͖%cλjLJowvVMTrҠptKu1Jim˪mQ紽`P aTS@[!HuǸ:7&zrTYOr]>'z:p 6awFKW#k;?] 4}yL1gDJ6BCrPAP0P q mY>_ ]\15xۙb\KR^ը{o M݋f.G|73rĠNw\p&$JVT#snNlT DJ(AS,?k{.7p+7 3zmdFNп833! -X܀kX\'e'p^j5ʹ^>QFn :IjSRus7 e|܂qB>띿#%>\}=S/ ci؄]Mf0͜]w&?/y1iT dŐ<9`/^)\S*!OՄKdI{ E )8`ř.D":oۻ^:+9wt-g:P$רڙړPLNR.jv|kCe0иUڜHvӿ xȆGE`ٔYxC;)现\2q絕6v$zo+_МL#\|AJ8y<JVutHuX1_%1WaLGx.ay9O gU^lN-pǶ}7٧1fCJ7DY,gj@ L sCkX TllžZ r/hta<㥟zS;8mkj<:Qd'LW r5c.yaGN9[{cƶ,udlnxJ"`B(> qAV !(uMA<1ڈ}TX !I\tt8M /C#:FIVąϷ~9-bpXpE3*3*!ӜO$LPj p3w5&9Wlh.CG/9/٭ŷ۠Gh1Ilo1}iS6"Ӿw gn%gs :qc'=DW^O/M%ADq/(=kJiQptD0g(h50FCV&~4YZ6bTbB۹C^:ג}ssOBgHuB:\2I?7^Ge) @KO CxZ#cqͶ4`սDBUB z}h"[I` ͖R[ٙaS8÷icp氤Oj+HJ ̗Xz :ԅNk/%9Wi5F%,e5 e[Vd_XW@[6$/@h2`Mn ,Wk,e-o@2^CJcj-'FCa$&(i<pT,%"d ĞՍ{C#s<{|_ $_?n sQCu Ŝr{JM4=%$@EC[Qw*ք^FVAbq/(%wC1o},ӅjߛBnym:PT"-ڡ3a}LY$ 3zbc(`{;htRﯭC4 $" /ym4+ҙP-7jKU=A.cɭ94$ͣĘ|uء4gYXtΤ4 8 =7订S-ȫq铰t )fRqf7Գ=aCg/oѪ.(\Eoѻ.'ZTG/xn hD^>@ɕ|2H#VʙjIGI0ȇ5-9||}$"Fn-` ?pqˍ"s3jYnءWXAƺD3sF+V˥6dp6/Μ(\lx\@&ѩ;;^CF6$tK3 Q* >"(aN Fތ+so^Z'cDej.;7|o.Xc(ϲ!L45@^74z9`̭ Tvgw UJ. 'ZCᠩː]$aݻ<(SIR`צD7~4 |?S,b$]Y?uiO\cI ߿1nz>i(8xJ*td =v~!.IW9,N Lj"lPS l5M]2ST{Ȟ n!U#v,K%pуUˠi xRc>5G.>$nKz(a'L*I*NooZ@}xVXwhQA#XTBdI62\z >,V|2RD>S9j#ٔ|PyUFR)p"xc?#Ȏ4lXidžC-xL2Ӫ"oFk~ g\jԓFܕgt6vDZxWp0Y G Zh]+)65CX<̊Wte Le3h|{{[?T+Of5*Jk[f-c7sx8kZ8-:On?/N9(9bs C/<3tF5`g @pqbL)xP\q L:_P*5̀=(U=NeW-:hH|£?VYXTJ)LV,{y҆rN+F:P#Xe}Q d+wZӞrܲVyA; "迮{=OGbKEMAB<(AvfzɓnBS:}m/$6oV?<87j:6|ǒ}$i)7 ,8Ͱ\"!*i&b^|ʗrY$xrWsO @$^D_ e~bVo50d˜ńs^p HT׆Ty(-S-\ԋy lCKt-];L,: 5~UrܺS"6 ^$1i-y¥1}S0J\9L1_Y$OvBuxHc9UDH~|5hqVDKQ k^&srL~?;ś?տҟ6v{ޜ_ 3u"_fdݥSRWHT="z>QEjsJFiӒmqZHpHc@l zOu+v]/;ջhpt*ȬrڿS5Q2y!BVe'6qMv*8wj8{&񃇤z ?-헌K\kD%X4 q P3\B v%!mU sMf+BxD!PWp.tm~րc-";;?dwq_CVqxb|Oq΁$Hg@Kc rWKr vcJs.Lh n]"2/V[7|qu\Qaw}WGUv>Bl`#<9bzPvzA:Au4Fy\5{\t۲Wk1~ AB8*Tg]9a|\6`%}%Pj7]rG5 ]kO-v՚ L?i7HV % ΃<ϳ*hpׯY<]Iʦk 645LOi #_A'Kueȟ0E^sM ͍'yZ(kU͌²̘.#6#Xk8}\cc ;Ach\bH{XP_ UYEFnyCx;C@n=GԪG2]m}x./RbZ#16KwXKϾE q.yQ,cj*D.@6DT\2bx/t"%܉"-sH XMп.L?7Ѭ6pP^ylM_dGN;jm)K#\ bbnTBs#!x< d1[4%;?ƶ}/n3^1+6zeASV$m:#vLߛ;G' v=T@] (rDjQgzbs\=.h?%b(g.oݏHVup{?I"<_8볋#;Iv@&' wZ`΁ BF3FAj%>|ƣ_z`%qKҐJ6>mov996 Wm|1ƽd<4%Tq>(CQ2 XZ B]C ƟFQ]r ӮͿN4|ǎw>GlO<}=T^ *O2}1gh$?ؘ}e5QL&'6ڌRUa>GG2?tDƟ_Z@  d-LPŷ  "oDm&A`aw+Ojd usNFp8wˊeHk#жgq}mghbrkg.{ƀ%Y76TJ +r%WC劶@_JwNfdv6j^ PۯtG$Te f?m _/\ - d/%^;Kz+0rP5?74ѿ5nt:f+K,rkwv#ǚs?;% #r} YWI_SЂЩg={ӎXp8 %ܯW}*4ⲫ9#e\޽6-`vYF 헨dO""U?Q|wGT`$ʽ q)UDX&}d5sH5x١c^ܟn9,CCRE0 FS -[#K@و"} "H:Vh&puU| z ޞmRUՋCjT,Pxz,) Gl|b&94'vPwM$Փ!:@ٙ g^T(ǚE^SƇ$`k|7*vhy*Pe'(%3P25,'Ǻ[&o;4…#* ZfiG|F^x2I\0NZtΑ5(P7sܚO>D4:lʔ% tߘd05py!qMq%5!:*s750V/4s"  x@ϤQ{AU --3g^QCqmN4 d?B_۟Rg31=쪰ȕli2fhU-2bvmQ®6V=JqRRO2Qsm2ؽ{E(?%_"v߆\aM ]P|:%_˦-gF#nTRP(C)S KR+uG"zO 憒Աj`d4V-䅴@?z4#vLhƳ>/~6-Ġ˒8R[|ϣ4bϫ~!?:N(F2LngxĮw+MOG\'[Spױ9U&8ؼG݁Rb=+$*Uvte.ں 1c R*U(Ԕ.uwh#]f}G-E9GvZ-ȽE+ٷʒ @2Pa'=k+p|FmK#&~z6 3 'n`V셙/97+-1'XXX::%' 1I R7S;2*NG3Gˏ^Exx`z p&t''$9z Gs[~ h"Ot [\V3/DP!\֓ fsMj+IWLVM\CM6ufz^" O5mZd@*vʡw* vCnc NQ4t,359D!Ke*_PqVXFˠ|iyʭ}P62PjU{E.o~9c\ 39іF TU>L&M쌽nzO>MeBewA_(31~ ]H<&lȡoR 9g1k" ME7-Ү1lp o(QX3L$+pǟf5Vo(%PMft YZ