minisat-2.2.0+20130925-lp150.1.3 >  A ZƸ/=„VQOs U+pYFBXE_{X..i%bɣԯUmv+GIzh6*BCe58?YhS-ĩ!l at ?*k1z =98dQ 6 .l|*_nlDTD;]f4Я^f24p{mtW]D<מ#@y -Uαe}ug%DzRtqYW d5">4346474939f41c385738f34ba756fd04beaa6f7ede64f0cb58f4079943938e61510442f0c18049d6a5a732bcbd6d25bda8c594315PZƸ/=„_2Yg;$+|ueCoth .GS=e6IT!HΓR_?#q;MUT>{+Aw.>$N Lk x lzA(FX&k=5~Z_)qavZd:K\=׼2*5(:j8'Ԃ"_ w=8b9KwsNDyOL-OJRov6#ckOS¢pWJ;kx qNbi>p> ? td  # . +48 Rj     X( 890:FGHIXY\8]H^gbc Td e f l u v w x y z  $ ( . pCminisat2.2.0+20130925lp150.1.3SAT 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.Xlamb16fopenSUSE Leap 15.0openSUSEMIThttps://bugs.opensuse.orgDevelopment/Tools/Otherhttp://minisat.se/MiniSat.htmllinuxx86_64ZvA큤ZZRBRB4982d990caf87a7002b83b39b0e695352b9227a5eafa9006d8df92ab51142c6fc75f5063560674728fcfa7b9b291d26a3a8b9436a0d9940eadc81aab7779d62b4258eecb86330701adc5ce6132df450a1e117b66d1018c307d901a583f3286fdrootrootrootrootrootrootrootrootminisat-2.2.0+20130925-lp150.1.3.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.1XX@X@V@V@U-@U @jslaby@suse.commpluskal@suse.comjengelh@inai.dejslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.com- 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 packagelamb16 14873328002.2.0+20130925-lp150.1.32.2.0+20130925-lp150.1.3minisatminisatLICENSEREADME/usr/bin//usr/share/doc/packages//usr/share/doc/packages/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:Leap:15.0/standard/2641adec4f55906f63e78a8d91c3f2ef-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, for GNU/Linux 3.2.0, BuildID[sha1]=7fd95b3f0397d9785e538b0d91408dee349f7386, strippeddirectoryASCII text RR RRRRRR RRR%;}fHutf-86b517a9802f5b1c4df31a7c65eab9aee48382609d358ada4e88dab7c25f21375? 7zXZ !t/i%] crv9uo0ڰ:, !DyH^dTWus!ggjL9[duW' M 0LL3dnU/IH63sk5iv-tK<UG0e%\h$Am` 0͉ PV/xXc6!획A9q$]{W*HnJ<>.<,b GM ē$<;S]KUTϊuMS{5AM 4"!T3jIň㱝$id2 ,a9rD/>X#<6g EIjj#Ur7ѣs:, lICwvMByw=`ǥW*/,'Z2:D&@r|x4+amIGtϞw@*yˈ޷7-[rX9XQհXU,y2/`j%CsEbز,o6Q~AO WXQ.]L#,Jxj m˅Qg<6UбFule˲zp-55rym?2S>©"I( 'r3!K1H^8vP(o^!ǍҌvPq $9u *Iig`֫fWs'+8km{LQ2穉 +d.GgC@Z\Cr"~0=MBU9܃4!DDY܉p:LП H@qe] YL1ڸ^4U"oc^%[^?}n`0sXCKS z:oe$"&1rvUDo"(O|D >нn$Dv4F~z=Pų%?;BǽW,wO=Nr T tNko6U{+f98sjL:~iT$Ihjimu>v5k&!2ptRrN-V ڗXkf>5یэ[dOX9:IA$V_V~PsIHXf^3N$Ff28!={[($;Pւu@n-pbAUX ჟ@ KwCԱ!u">CǗ#iQ\5 ҆9}tJQtt=($A?p7SJb셚hgk^V֛]"vpd/UI>e+y_jҙqsNٶA`kaO*rk?u݇cMR ϊ?e#k ) ͗ןd_= cޘ6uۓntw/e&[LOmm㌅6/ |{ 1bCء]}[cCGB,L/F ZBrPf=tTTJL 6 clfPL B-(6=mCښy+yyQ^n=qbb6$7no.IuL!zTkj0*smroC٘$8p (Wѹ%f>AK(n=JWPה%.6-,1R_A"zqϵf"alEq/Hn5И+ $IG!A|l\={}_ƳW>Jnz+[[EC-~hmDt%צo sueXTR ݞ7!,3"ؕ2 G Zy>oOePS.+{l!SCuȀ˨Yl%Yp$Q9`!W,?🥜4F%s.U#6 @N[buh"X-Fٱ3H[Ov\P7 R>l'1QwǑ\jK*:J ⌍t؄eh͘z\oa2Rk_L?AKes'KQs}[u°cOpieʛi[XNk&@2J@Dmm{Pi o'r|<1Ii#BB{1kXX> $_`cl(ڥ9tRIVT!\[y5bݑKN9 VuFB''lbǁMhvRmpSvλ6s^id䧃 uMҞt)y#W}rOUU+3Yl ,PŲdG P vFނq`:%7Hb*v}^Yto)(/;pؗ+91ΰ0,Pa2>2 rB\ .ɲhpԬt1j*#&^& VQNJ9TTtXV$%*P5>u]M*kgޞECFu7n 駱Ye*#ށZk2g݅>t m<%en56Q"E=AWyҏD(rx杷>OD%LS(f(K#$=Yu[˸*%~tuҡ8H5r*+5Srqc <#0nh!X>BOr 4 !XeR[/LpFT Jm~ ^@4s)iW‰z 4,s96^;Ҷc:dNyRu'Ak)e  GW=S4 U^gjc+:>-Hޖ!>EEڴ)VoC-Z|#;\9rn$2k(5k(5VkTkfC}I@e */+ʟ~=Eh"\=tTMPվ]E s\(Kj8>_rjD/ؐx{ ,(.(̢ף +-,x%iuPA/Je$!]̢ծNuZe剅Q)aOx9W/sxnjS߅د~1#4C:#}@Ηt`u J E`^mY03zSy^O "'%0 oLw3`"v M\k(\ bB١}f\krBe"c&(~(U͑Nؚ(갑qČX'Wsdy0 FC+WG^cCc%/5Yb @dekQqLA\LSFŠҟG9253W;|2)t1DIId yY$DиS@p6TUQh{l͑ۗTP+~ԑ=KtzRwHct:O7pMn qg=3eO=!|L! 7?/u!0KaL#8/+P/٠_صi-< Yi3.rEXbq?W%H"c!+L.3f?$tGhK^UgxM  *`xWcd #+dfz?->b[ޛ  {CŜ{`x˺3$_Tn8DHHyreܞx{YqfkE"ji;L1%z=F$em5K͘S֙ ˷=}6!o4duxi; yx ՘4JV> ƻbr1]QgƊ*>~I9*H51t~4[#_wRr߃]s ,568Ԝ{s~~v"P-jJel{tL;l \Ⲃ&ć{v6Q86x`A{b"ȌԾ!Nc9,Fm[{JQV*-oǠ@E/TXCeqOӒl%ȍU6ǻ9Y'+Ɓrn8b"khb і tY~ CB&E/FUJk1T8b.xty1N,8lۻIB5B6䈁hem?pS_d^ϼ>1F~&~v[~d}Qgp:xuƘZt-ɡq*laXwܷɡ#@wBJ:**+sA,hAP<tDz]_VfE9 hCkE?? Ko.! ,2ͶYUOE'}_tޣXb8fwpcg2e;4+_x$(PLXѓ ,I~'HGNȭ%[@-%!.R:Oے {gۋ^5>XrwTbe1 NQ?O׃n)q]], r@7FCDEhp#ƫa۷ tzW)Yke]Eih'΀. .OeXKmgin%:zxQ䄵'\Xv~VػgHq8,9iFw0d^| ڐRs^QP>O'PaޠQ|[.0K|$}-vv A So"\Iu ^PH&{ei ȇ~q.\V~qR%t[w8p b>fC}Ȏa*gz:3Le}1Kr2F0S:xqqW9i]/t/'3#,*'pICFس/0GW (di)~=u6B0Y*js!&lSM@i̖an'Nn}7 8$b"*H-w>%h fJbu]uB1#{.1_YBWw"~1d  S10BmdġV`ilH)}غ(YLl*kJ8f+#{ֿ(g3,epӛG{$-Kw򱣫9q{P^6t;i x8:&xҿ)Rڼku1YV;*ũejH,RrDAes/A(,`iU  ң#r䙞hjvo@v8Նg7t=x] Ë;˷7Qe_ׅLO\7y6_%}K\X ^Ȳ8`ġ]RnXk*lꓒli.( gc5J'.Üx%_02U@3q-YXO?1,3k`UޟD<{eDC9\sex3lAls{>fģ&׮>켪x/F%Pxy م|r7ǽ8P+e-*fGyb8G9P# /H(\;'Ի9jnوI`c'SnLIVyan57V)'@ڿׅtY+ {$R턿 ߗ;-gԴI= Q8iJ(-C0| .`A1]i-e8甞J߳M}+7T,@,rǬ4A>2뉋PlܹY Vx:ܞ& ̑$mZf6$T]fW,}.G+)*Aښb"K$VDWyV2o|B.Ȅ_68M5Jz2'3,l?ȴwfW>\i-dv~ԞZJ85ܿS\߻gbbk.$$(R^ἄжÐDsG0zïqGIRxn Fq|Nba)Vl۱L3g|0 M rMJS9wiX9^j@6|k4r]Oz8sG& 1SHi(Ӂ zikS2 3)z^yM5F_`y ;S$xе ^:ZmQjNʙ" 9e Qxjuz /ԧ DLّpuTqBBn(yJ ?YyE~BBsC҂Vb8adx"2PN[ub'/%Fen;ԏ"&H !؊c1lhiٍ5nlH4ś]jR~xz 0FmDy%p6%S>B%Tz?oW9n~Vq1?GHNϡ! ];/ahЌF4}E¥[MkwǖVՁPwdy>oM@gc 7CN/P(V'y(.C\Zu=׷$uf{\?i*nNM^(<NDZB.vHlnGÌT:U['9:}ZXn~hV Ė bzpOyDw5 U> ىqO}*x'EW=(Ƅy϶bD'SOzP:GP(&Dk$r3-Aߐ5 ^_ƳlIIw?G1T>nѱYxS_s/r͢h<+WT=!2ɣ*!IwPҁy5nEi49JfY-bP^0-FTؖ~! 8]'趚WSF>^ TuFNWm7\Wf!0f Z#ҹϨP.{ *}4 {+.-<"֎VN QWCd[p0v{.V KWOt1TxdO >O| mp0^곌_A[g[Yƫ zPK_̊7|]OE2xɰ A'R撱jC'.,;Z+Lj[ ~.8SυK-ڶ YZ