minisat-2.2.1+20200902-bp155.3.12 >  A dk>BI%z  i57+K;EW&85f`zV˄Zaw1*?ccF/_hnP!5C{1g{YHzHJfM圛~rҟH7`CESsZ3'c pL' g1k͈?.'1D(:Hk#6z7#.m:σe̠e6?PK#vf2f or J>JR򱗹P@GF|]oDS;p 1ԧ&ّl((Hk:*Vc -Ƿ#Ed\ #ݵ?grK}.{bL'U$d +%i0lh}[w MT(]>,Q(÷`F`cKi7q GŒ>aPrxY,^)eM.mn~!xΐaj@Q؊uאQU8ө521820400741298f3c189d5d072d562dde15816f485cb5787279cfad36fcbf11438098cfb0a5c46e3224d48f8a2195d720dd5455Ldk>BI%z 4b}Mvpu6z$]W{wPoNwDͧz:AFxX֢ILY*{M נnݤ}tҡk* OWڕ{:e#"#P\OtôL;9u3񤐉y4c goSB+)$|ԃ|TKB-`(_t#<jõ.gV @ :0cKnƾhԴGjb#bJH3 ]Av\W5B+n 1: :r.E:n4ׯ-T3_@P1w {Rԑ&ɟou{i4W jd^ŒϠV1>|*/xeS,Ӕ<4 Zؓ2!k4 ˾ipB FU<5WI"h dK=&a XRn62'9 }4v}Eݲ">p>`?Pd  $ /  $AJN h     :X  : (_8h 9 :g F G(H@IXX`Yh\]^b^cdpeufxlzuvwxxyz LCminisat2.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>-obs-power8-055SUSE Linux Enterprise 15 SP5openSUSEMIThttps://bugs.opensuse.orgDevelopment/Tools/Otherhttp://minisat.se/MiniSat.htmllinuxppc64le  vA큤A큤dk>,dk>,dk>,_P>dk>,_P>eecf3711a64304df07208fdad27e57b1fd8ebf5897ee35a9ab90addb9f65b5580052aa7251fa4a514edf39e3924c0505ab3756009485f13ad6ea533ed4a59fab4258eecb86330701adc5ce6132df450a1e117b66d1018c307d901a583f3286fdc75f5063560674728fcfa7b9b291d26a3a8b9436a0d9940eadc81aab7779d62brootrootrootrootrootrootrootrootrootrootrootrootminisat-2.2.1+20200902-bp155.3.12.src.rpmminisatminisat(ppc-64)@@@@@@@@@    libc.so.6()(64bit)libc.so.6(GLIBC_2.17)(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 packageobs-power8-05 16847498692.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-minisatcpioxz5ppc64le-suse-linuxELF 64-bit LSB shared object, 64-bit PowerPC or cisco 7500, version 1 (GNU/Linux), dynamically linked, interpreter /lib64/ld64.so.2, BuildID[sha1]=1b95fc8a208c823c4e509c7d31671154521a798d, for GNU/Linux 3.10.0, strippedELF 64-bit LSB shared object, 64-bit PowerPC or cisco 7500, version 1 (GNU/Linux), dynamically linked, interpreter /lib64/ld64.so.2, BuildID[sha1]=3570b2ea6d5accd0b85544b036bd52947468b175, for GNU/Linux 3.10.0, strippeddirectoryASCII text RRRRRRRRRRRRRRRRRRMBH utf-8836f9c8242da3b42386d26e27792f516e3893f1fe2f12820b94972b3826e63e4? 7zXZ !t/"5H] crv9wC86 P'a z&paAWԥPDb!V]-@I]Rj_*ȴ,H[N-LF- {fRW_ef3g簛'wnbkoqpD"5$ j r7Vl%=wS>yWY]z}td!b4ܫڨR)6>" wdt_LboH˽ ?9ի(Xǚ;Dy#{]t R-]0W=֭?cШ@oq3&>Ĩ |-TyLsl#Dn)HPoGm[%([Wh8}h J @``ɼ =AӞo)h~U3&S@$:/MhJ~U)I0cq2s~;^@@IF6==+ C؄3Q&m ZWnܚKg?Kk\bWށLuߚ]Ve` }r `cl`ca-ڋ;%W#==^Eq͚j!1c8) HmutYu݈zSдٷ5(h"iȹ܊ j7yȜ]R; "Uq|%:R7ajZG=F;U~©chsyi]idEW=Rªoշc%aV|lެ ֈWrGC8hr/5jB&߯ 9]QinxxP%X0KJoRRoQA@ & ST?bC7c $Ć| B %f-*-.JI?>/ QH~T,ĺbLX @qzt?ʹ zn-NׂJ Fu_, 3 »a)YkVݷIAˇw=z_:c 1SSٕ] ]n㺡dEԨ]JוHb6]$6ȇiyMaHzmD0QyN*Y ?QiOCn {?Ȩ_oB}|# Z"Kmg< CeNG%Y\^)gt ? ,`Gj\_ ami[z>Yy4i6|}]\{ֆ\Q߰}UCk.b-vލ@Hd=1=@2aCi"FegM|(hJ/lU.#Eq-WGi<(‘ݖpPFocr: 8 @.-GdBfx4gx/ǣĴ/jޣĂS#B~-X]3ߍ6j-GI}љQ(!#͠-ajIGzTqRG'MVVl@KںLLO_w5o4vIZw-]3dxTTPNО? P&(Iݹ=,Ӏ[*k1wksʌaFM<,![|coXv݅Hápݏ y=a*xgiϷ` NQI"bvQ %κ݈CYh ۬B=b}_*=6 ._RKC귔zi _>򈶅:&F5<M"myOxE=a|hy>BKR:8Zݭ<\QPX4@-7J+W L9aؑXD$qP |#(M e?y3X}OYUsgr7&<0v 9Aq+DEmŬ)| r$Yxr eWp8Mn{4wiI*2/tgeTr>aNKϞu.jSwHiOXl R׬Y=v6.wf( ]Bu9t7/}[ Z=s-gn+i[(>S.[^)ϸ`&!M5 Ø ?DZ=T5.ބtEax9 cN̐% I54=ĐEx}wt?2$3`f؁x}bӟ@W/g~)c{ (j-4pi̦9 WZ)*->#% K}8({F 3p}nZ|ү}.9GޑMl9DڎoCoU{! K7?ˏn.=6W2zC5a8נ$uI&gGzJx 0"y]wDIAt_SZKrmtWEkIM_P V\#3lhn)0 '|+2$V5{C ^s^'3OE1e:'kח,j6w.t \}F:<#G'Ed;WO;Xx|/XIY"e$AzΏgCO>6 .P% `^['q8E s|:|X=ҷLAr!<i}2q''ʀyM7z .W8Ӳٯq K\҉#y 2Hf @-Fw0!j"4H90D]cVvNgA#W֩#."5SH&!g[ltE+><~j !.'P9(RZ`S#ӿA 5,^4g٦S:8;9݂M/'%g͌[y]GT~hXkBD Oj!ԲW5{FVyѱc9{YQrLOvǷASSƕ,5@m'ݭWF1Ni 9Wz^=Mlh ?ۦ^M!_X>eo\ι]aوfk(B!oCH6ΪO_Yof%V"\z;](gGi}8;%E[-W2noslDV"Yrβ ts?+b9ܡ2eHD2g]xI8(&qA-.ĨDZyӭ5tj6]Dpm gB@o4M{d# %[SB(-d ZGޭN}=/U#YBE c"{FN%ɦeAIlUbɖHIRݱʓ)kńZXZw9V6lcnĐ\o*cb͊;ɜ캞ӽɔ+!Z S 1ObS *կMg?- p;b="PRd)idU$n .Q? W1Ev(wa@YQCZ1)p^B*FyLJنf1n+ {0܋%*oLr}珕'6)>lEY_V=N0|Gyɞ\otAcI:3b*sjYSG.y>ʡBc_b;10/lO"Y#vXt#g$ }\@֦zEOFe a4^d(2 d'v*i\7=KWބ+=9=g8l B @ztK{^{y2\ix[o:> 9 z@):@0YzĢD1f7,ښI0RREUgoyr&cdąrJr)=(/AeV(8h6w2)` RtDPq,ysMۦC7* Y.MɈv1b\OJv,bAmK-1l-)tb昕CN w=XWDtHbˢxܥ'ܝ q=cEaLݤ0;2edk@\K R' T n,,YeR!_pHC5ZIw8:貏=>'7ŧ$V5w/A]P蟣fKrNg! 7Ze-f+,=g)>MbW_u81X[*R?\`t񸚉VE~ȓv w' w_|l!x< E;25,z muiϾ^ނS#31گ= k. \ ;v&\vUPl5A+=YvޣOGGUh\?&.b'5f,xx.ړ9^(k1ݖ;Ӂ&l @ p-:*]jurջwi6wnHFFCȯo9hAFNTϾ1z3LXaG󪋆BWivSƬy8B/.gÂsU*,!cj̼Y\dl=J;H蜀d4Bv}0v!;EWÚ)psg'9J7V%]az.oE&9u<; w kĚ((`wwʠ E*^$iԒH#^^;n.'(f[Hz;mվzhY|&Ε:Rʼn$"OqO;ۆÞt `RjNJ;sϷ]s#j*R=8i+=CBj)]:fL{΄akl~u  ,Xҩa`T8yq +lKP>-I*: pBGS!U‡#ޓ@ѕ{ˋPv2s{`PX)",5sf]*j[zX>IxW[Eu! _\+ayFdl7|gaRuI.ck;6`WzP ˒e`R Bj *1Nۑ`d$# oG3JmV. . 3p$JP,`Pn4<־. W*]0h,:/94]}Wc[;Ђ7jQe8r``gE: B ),.vDql˻MЪgau8ԗ,ԅI|947CeZ31ɬ' {YO{l$УB] " U#V< BeXQT6ʠ Vpg4g[$p3gatg+B:E[R=O9>|=*>F ҄1 H|UL_ɑ={de)W ۬qZhS 6Ԣ5LZ@'ԂJ0?}o`:n{I}P7uGG\X!JEG S:i'i; Mf@T3>A f5 MN0Bc[ YJĀ@Mk s>z0wnTP n1@[1PBT蟰I-2u!b)܎.|$'pZpt$y(v;$6c.K$vwm43yQ'Xq7@S|"AD?өK֨cz@1noz 8 nQv(ŶFģxOְZ԰K^mE3-"/崶sЌRɳP>ŲFL SK[Nh[f# gSl.;;Ydf={~ОC"$ ZI *UzUd{xHulއ+@kiwq%W0DDss]UN$2b޵7r͗ iME㚮9uCtvrv“/?j,5A $]CbT"dే֯ no{M>zQg(oQRVY#S4Adz_CJ]lf7h}d4w$ C] 8S܊c<w^Mʢ)HV.0\3GD2H^eQvbLTzo!ȺN nv*xK.DN&_zSlǨ@/#B:<ɘPÕ[ ~MxDb.EW+ϽE!Ǹhxs=ΘnqIߐ+0U>ԋg^'ߐ4p|!YSF,8夌qѤ2$Jk8%CUl`b1.G: 5原G( laSS~VI h{7LwZU]e[ԩ2ak#'OـUYfjdc2?8Ă1% `(暰;j@clb.ț/#;s6\JD{%,gsI'Th;;{jyP虸D@B)޾)'JCт63ErK^k%$ŽOk3CJ>wU$| _A\dgn22S#4Ns HI.6Fb 29*6wc"?}4i7p^V8k+lm#]ԥ'R1r;xNťNI59M tپ[D[# M)CDgum:õs7@P\F)oS@APܯLF4Wj=­_}Pv-䅩/kY4^J4=_ ŷ{2x)ςҒIyǾ(19Ihly+v8 |Â+qVvֽ.~/LC< L  AUq#2|+J4M\·3pVJJ%|&v) ctFy,rr|R_LL(ݠ~f+7gg&咛|{u5h->̴ouI