cryptominisat-2.9.9-1.fc20$>k N$ >;?d  ( DHWfj y    R T\fp @  (8( 9\ :  > @ G H I X Y \ ] ^ b (d e f l tu vw(x0y8Ccryptominisat2.9.91.fc20SAT solverCryptoMiniSat is a SAT solver that aims to become a premiere SAT solver with all the features and speed of successful SAT solvers, such as MiniSat and PrecoSat. The long-term goals of CryptoMiniSat are to be an efficient sequential, parallel and distributed solver. There are solvers that are good at one or the other, e.g. ManySat (parallel) or PSolver (distributed), but we wish to excel at all. CryptoMiniSat 2.5 won the SAT Race 2010 among 20 solvers submitted by researchers and industry.S,Hbuildvm-17.phx2.fedoraproject.orgمFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttp://www.msoos.org/cryptominisat2/linuxi6868 M큤S,HS,Hb08a10372f0f966c2e119f1c300cf0c03e1b0c706a9041fe788125c3b9ca1f38f36f10c5d55ddb66752d7fa24255d2cf15859ab19468f2b58bdf53112f38a11drootrootrootrootcryptominisat-2.9.9-1.fc20.src.rpmcryptominisatcryptominisat(x86-32)@@@@@@@@@@@@@@@@@@@@@@@@   @ /sbin/ldconfig/sbin/ldconfigcryptominisat-libs(x86-32)libc.so.6libc.so.6(GLIBC_2.0)libc.so.6(GLIBC_2.1)libc.so.6(GLIBC_2.1.3)libc.so.6(GLIBC_2.3.4)libc.so.6(GLIBC_2.4)libcryptominisat-2.9.9.solibgcc_s.so.1libgcc_s.so.1(GCC_3.0)libgomp.so.1libgomp.so.1(GOMP_1.0)libgomp.so.1(OMP_1.0)libm.so.6libpthread.so.0libpthread.so.0(GLIBC_2.0)librt.so.1librt.so.1(GLIBC_2.2)libstdc++.so.6libstdc++.so.6(CXXABI_1.3)libstdc++.so.6(CXXABI_1.3.1)libstdc++.so.6(GLIBCXX_3.4)libstdc++.so.6(GLIBCXX_3.4.11)libstdc++.so.6(GLIBCXX_3.4.9)libz.so.1rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rtld(GNU_HASH)rpmlib(PayloadIsXz)2.9.9-1.fc203.0.4-14.6.0-14.0-15.2-14.11.2S(5@R@-@QQ=@Q@PP@O OLOKO N'@NU@Jerry James - 2.9.9-1Jerry James - 2.9.8-1Fedora Release Engineering - 2.9.6-2Jerry James - 2.9.6-1Fedora Release Engineering - 2.9.5-2Jerry James - 2.9.5-1Fedora Release Engineering - 2.9.3-2Jerry James - 2.9.3-1Fedora Release Engineering - 2.9.2-2Jerry James - 2.9.2-1Jerry James - 2.9.1-3Dan Horák - 2.9.1-2Jerry James - 2.9.1-1- New upstream release- New upstream release- Rebuilt for https://fedoraproject.org/wiki/Fedora_20_Mass_Rebuild- New upstream release- Rebuilt for https://fedoraproject.org/wiki/Fedora_19_Mass_Rebuild- New upstream release - Project files now carry the MIT license- Rebuilt for https://fedoraproject.org/wiki/Fedora_18_Mass_Rebuild- New upstream version- Rebuilt for c++ ABI breakage- New upstream version - Man page is now upstream - All patches have been applied upstream - Tests have been removed from the source distribution- Rebuild for GCC 4.7- FPU handling is x86 specific - set library path so the test is run- Initial RPM/sbin/ldconfig/sbin/ldconfig2.9.9-1.fc202.9.9-1.fc20cryptominisatcryptominisat.1.gz/usr/bin//usr/share/man/man1/-O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m32 -march=i686 -mtune=atom -fasynchronous-unwind-tablesdrpmxz2i686-redhat-linux-gnuELF 32-bit LSB executable, Intel 80386, version 1 (SYSV), dynamically linked (uses shared libs), for GNU/Linux 2.6.32, BuildID[sha1]=68fcdd6d896cfec481822bc2c0b1b8989daf585b, strippedtroff or preprocessor input, ASCII text (gzip compressed data, from Unix, max compression)R RR RRRRRRRRRRRRR RRR RRR RRR?P7zXZ !PH6ӵW]"k%wK٘Dj?\|7)5J( 9<u$`vElvFʦM&>?`2=_ :;5qR<T!ݫy} ,p0 ^WO94h[DgVxi3 . |'$Id%R4tY_h O!\r)ɰ}og-bչr]uw?)wRdzU:L~WPvj'cd :a)$㪯~}TJzosK5[?R?=Ұe' G=T-uF|1{DFB'(&U"H^H@mw|.':{ 񍒹MΣY%*9 k3o?S97(GX(<#88H+`+ؼ4=&9?_P]3}UϥK,~3:|xZ{^DgE/&'UO0Ė/ǟ3'\cFKz奡3klm="'U _frTXR05-֜'Orq>KVn=g8} ߦWQjq#"aub #2'R(dž =,7(H*/;+yC"&|H>NOYBbY9ZQoBVA^-I`ڲ>@>>_}1`ʵIm] 0PihnC޳d=~&N~F6@],t;ݸEۂ"AWf yzWfIHqEI귇UxLI7O^p,IX"O-oCENN:T%c`DT<O,?Ik@$(r/@gc"ׇj99!xCvA5+U~Uڶ<Z#lk9tKYCG2`<.`H>ʼAcbCuJwU(n [fFC1 3ccK-75iRYJ^mxL\۽,+r..T tyw5x]C1Ҕ0fEc/7 psws}Rh~"#h)aMv>q ,ig۱mQ:jށ,d5UUc@[a[+rcЕWx2`™$`Jw$P1dLyċ; } n"gd7ΗM7 ÛH( fr*C_v.qS{IOY,xKϩ_3Mwl/DMo\q%Y7 U[62GFǬaC |ǑgZL$qjږQ˔ GjGUMH})M~.u{t̓)jy|"?Nc @<<Ԡ@,ㅈe>sb|D"CtE&L"GDSnǼRgاC5c2!+Z"$pc=?]eu˩::%'́Ql R~ >s3棗w{7?V*z7UXMvp`+#U\ ,u/ 9+|Ku兴GCverh`SEĮw1Q4-j.I9mXڷkO07掟I54)H9)xևKf҂A PI]Wk>M2rߺ.ii&-ᯜ٠2]Ih<,`5pYzW1)]"Ơ踰=<a(+*i7/ $}4x^;bog bL&XmH }1`"V*~a&6z5i1!,A};3.ۚG{6!6& :H2[,oοh>BU >4$@.7תܳI(XE =b !aM@ro }leG0#G$Ϋl[@<̫WtbY%0_ >G/XG|ӗPmVCP&H`=똉;3R!\+%MwG.4:!|*E|^sޜjzP߈O̶|OO¾<˗ds\hP8-8~wKet_RV5`Brʠ%=1|jqu%T(*Ѝ6n'yf*v?VB 1Ԥ0a #c n CXhЂMPls޿:нn]r#&sَ* JBbSϯw [ꙺ0F3}'N+MaڲH(Z]prAϵZg8d"=37sw {l qa<+`8-+] )n{*]A ;vȍn ZꣀX̵zZ(G0M%a8{b lm$(^0L:?2? B*nFK&g%gf]㿴ab tj6[cN0K7.ލ ;S~CTⰳGi5m37 ;RfnvR'IKqP}TePjɰ~3䰻S&,MS#O bvO wϵ[Oݦiq_ 5-k&9SOOiPRLVR:c^:d,?/ ~C?w|SWU23Rب*6~_qflBZ}m*݈((Eʓ% [ 1\ZQ *MvQ2f=261x<."w sަ'w)4yJ3@vRQ[$?s'xs9`ȇIcjD,ϫ=@p 549j kBkXZ]UbبÝ$Յ>U!q Frv!8GCiAKtAl[ϏC'IMp)xŸţֲcEh' fOL% ۻHEkAuSO ƗyeC[831q>Fjkޫ*uJhܠxzuA֏9i'佺2s\? ".X$gB#/|zAFH2npCEs.}{w¤)ŠOzLfу2j[L#A`U qzpd2]N)E+o6548hZ$;Yg?yk=5P=#O{7 G(&TaFƠ@O&ZBw#tϏg_YX |mK70=M5pN'1Y MJjl)S__mTA:G4ٰy 5ٓ B<G٣F49[HC 0ոlh ZbCR+[0dV`oj³ǟFEiyQsv hE]uŵ)Q)(!&6FRdz)XiUZ 8t \O]71Te tWn 0/tfDsW*xȂ'y"1R>qX*Lbb lz, IL W.FvLzFEg:/x[A,nBK/E7o Y|LܳcQjg[Xʃg:_DF:e|z.ŇXqo{OzGoCjķ26pG~DHT*uK&A|jِ,B p=4Yc$zDA GG ´'WC5 %4K.D3Lxj]bbD7M|Nt(,v6s9Fդh)Xl [q-+ Lka,lj[r9,Eߣm5BSQ~n }t-gaDc¸ G O b.{YZ헾V5e=u3<&#ZrR~f@jvrYX\$e$ev,2(ȟ~ $qm[չ\:h{Ac`S7\y ~kӡ)Jrϊ ;V9OR}P\c,kev2ϔ] a0}6>'3ΕJA ! BTJ.WZu֕DkWCQNtٴT.sQ(y7_rό@NqfԈǯ/ae qFxu+ɩK6wt+'c\Q5JUcM2.Ě6%Ѻ3}LGt>* l͸잌TvTH.}= R96åK&7o,uD*Ur3K LM"-GbN5By9lh^i7EvJO6J0:;z}8b$u}MiXz"?!{iLހMK i n;D/ Tnݒ|J K,$L-0,NfrpV1 ܇p\g e)z r8b7lҡ6PuڰOFt;v&K15Z(SH .-,+D**3G(:{",cO GM‡F{ݐ8Xc)2;So漒tfbM7±·j'XkT1gڒxpV=[  }5CtOHQQi 5%ˌZDvၨ&TTU~;r>prЦp3zCZ[DqCt:U\[4g˝Ҥ㠽5鉫/F81O\Y]g;=RK~Id: EtB,5cuP|2:sQ > elQ(DHhv|(^$?Cr_7Q#} ;4%N'xܑS 0Pazqk?-(zS]rvU|5x>jbZD:R _z"V(_"A+Wit:FZ*z7{]ҿ0y2 |O=DD}yGDT`M0&4GUdqqG:J@B]JybLI3N1ht%aT^ 5*çlZ eca P:̏#-0"CrY8SM\n/?7傓ZAi{G2 ōRxʓ]xL)Cx #pU/-ț?YMIҒn}<:"[4 8Wuo#D X|7^ztUNigT_T :E2ZLU1(962ìXPY0{u~X@NSm€bF_q⢷E\_'H#N`럔HY9n11' ]\kb'o_U,g_g?CcYO])AEb|aWo%BjiN|99ʫ+M~覥!9qjWeeH BV=So5= }U'l4#HS#v̸h뫸I :|#@ku ]j 쨌[1}I~4:@˳ƹ'[7D{q qŒqpg >_NJqu<_#igfS"jM[P<"g~vs[lȊ@~$J";_?%-cZȂ?C  _6 (?젽P2:5_V%spS(ο$">jP60$+&9F,JglJ=>eGkVEN|x~|쒰h)j?2j9qYx .F)V+rRoh){"B׉-̅ Ɩ(\u.>GDڽ ?%cyQW;Ɂu]\ ^'a6 d{ůWCH߬.|=JEjĢ3론*yZzVKIFjbDĴ>J@T32RE:u޵fL䛐 AgU@?ģ]WJCΠ64&VK6ӽ-{J'z԰wڨO.N";^0𛴫hإ#DފUCF6lݭki,ۜu7BHP&#+s__39G'8(qYg׬p22}>-H+Bߑ7;V)oM}g8^7Z::K3␫wmM(PP~K#@ԌTe!ЖLT!_H{,)20fռSiekB4"{SKxP+^rC1oܩK>_=|ů@ꐬeLEm2JPϩU$9wXq:Ǚ1^%6Hz˾w8%T ^tcC-3SO^Sc>`h lش5oqO 93 |B(SfhfςLyw61@ j3˘A%i?Qrvs7Cp}nK+ 3ϯЀQ_XCm8\g ]򘖝IRi sR g,k`ۚRV6}9C:] (37TY-3`x`( ׆a,}U۷,|0! uzJzt8 k`FkGӘHq䑲-};doy{ g[˟åud#Rq^@`PH ^T5bpҬl#8x& =ruu# N4D^zkueCa%O*D>M_ $x;8gX*Iynqh`~AeMc2(+r^z}j _cߔTDJj۞j:ŠC8dLs<%ߑnyѡ<[M[Λ]xĐ!C(ه"5GqyT۹HUbzp@SSJXCDmezDN`xe;ǗLbO%nK7xVTiug?@Rx=k6Uy81I<Ni T"{@=gjRX(JW4bLwk*+{"N^^fK!7y8ni,Two9BU)Y`2|o#ҝGqD\g 舺p][oT)JEJB DPr΍p\iLK:W0Z}W6ԧXKdd0>IݞN"}`b"aq ^|l(J1? v#L3lPZ|z46OT?^[`0(9"#,|ͼz(Sy3Lgen0%T*KUS>vϴH"yW(80]a_ @j5"54u>&h!K\k_7H9#ߔ  IxY!~.jϤl#@HT6E!m#geky=5 jI3=R1SZy4Gwix P>DY}'zp7ܹM~3_//]j_^F:-J]5$4sJN,v.J`,frMuR> Yjb3} Obf$`dfᅉS[qP"l(!@3cg`v-cOqHglʵcA"(Kmp>(3^6)Dd3+7dn[u} x6Ł!jx<%DjF?i_PyL [ijB=="zEg.#ڵg?%OLk*F~uP!jSL*R*ҋI;`íw@Lg%=a {-LH&*S}W Z4sѤ6-וel>Ek=akOۍLeu6|JZqqzomzpc?w0Y450&'z AJ:;zRM#"",*_ݛG3/l"~FK@u~`R9gDMX'M ޶"c-!8U?Q$rYl;&;{BceyfAQL_Wn!^CmJ3/{)(õb0KyQ oq҆<< W$o-|k=ԭ=໒vO|n.9Oɜl}6B1o,{HxNޏ[W5|0unѠ UB{ t'%P18С3 6_25 -ankD#n~/h 32!M)IoE4s]2"gZ ?륞PML^3 ēdк$,5U_&xR9W|`]$'pw@|]ʒ{ \! B/cYDz؛n85҉+$> KC5(Bb<.kPYdbc~&{+'J1puh1د(Ќ3rυ #SvS1r٪(8XH5.rz;NhxP ' w1$~Zs\<"y3b ԓ8| KZx)lKu-Nv?qt&O˕lL ˔'ڮi (*Y&PYs-P/_FdVZ&/g>+OJdArTjt"8+q- sZ#K˛[RcVx@%E.osA'ҞI jXfUvJjг7׫tLjkT8"?78OAd#v2H]cV8Jb.1U6|}*うYa872w/ofXo8@~;BG<)Wڍ*IXpK5'ވ5^9S#@/!,e$@t @*䤠_`0[ZFylՀɓ,!Nං=eR-̻*h]59Prhh 1KN#ML0[I 0 Eұ?"ae)#F,XcF^4Ǘθ4DmɌF9\'lDV 搑yRFR*@ȸuy_ཬm?yT(׈Kp"q9ڻZF5IV=A꒹eSAhn,lG$uCH޽? "T7""\@ߔD\]7tzcQ?4ZC,`S,52ZbYH٨'mϤ]F/R~ŕAZDE1'XM@l%X-2&"1_3@ 4o;a<W8j jp&d}-:|z$! ?rw_`2*H85| (4\4BQaATӽ &H9m bzbPYV'6pXa vp^htɑr^_1uRpmW>kMG^zY6ú}$]oF@ESCY"+A@M^4!d3aŲ򒮺3eZl Y}m%04 Uzzz*$+^а>X_BAgۧs,Ec&3`ۀ4aAكE.SU P!e)YY #1h^(ֲAK<]Lfrp7oA}BΒC A$ݗ$D}CxLdRC`$C1ߙϐJG*ƓxJJg'Y6 1mќ71>PC펞*SU_'ci4%'5t9uc\;3ԯ]3QgyD.[+6@ID$gKGNE5%| 1Nkoei8*,F Dc6QIʬt?'M Ua.2]Y]0X-Vhɢ)3/tM4yRN 2Gua3z[ogdpAi@^[7_bֳE? #:?^*AvL4cp̽3g?C׬ɖmW 7d.-+(&h[_S# \څlfRhdC䏾|*#Ղo蓤IuCXMOqF׺C$NϫqxCXn!,=?+ѩ9 ^ZvsyU\PQ U}0 ρoGI3(<ɯ O羹hWfPˤ' R9 bqsc4c4E)i7'q+tmݪ Vsg(6BMP\ʼn}qjeR˱/]hw/gcqpŤ ,BݯU)q#/>sZH0!KPFʬ__7}8|[;9{ "s_q_4}oR:uD ǒPbJ*(YVWa_b*3LyAq,Tj,0NfpVMTΞ~xt!;V(l..FH'iv%V0ϑ)VTtaWMd5z-;EXqn?!v|fZ2Q5f#?%Bh>6d˵,O_-`־XeBj^J8Igjyb.F,=؉Dj+X' $C&I)g awp0P)1QQa}-f!nXqH얮 u3= }[[M;̜OM&E j~:wUP)QWC-s&($D D73.SWO>w,w|8Z:w˛hڵ٢ Sk ya.IdFRAΆuyp& EmeU o3ۘ"ƞ_'nnWˡHFHeҡn(|/~w9[>fɭu^_0eCɄA ]/,`ArBa4俞 -JV1%K+U7K=W/E N>b0MUӟ>2} ɩ얱.'VXQ978hHB,DBFuR 9xфϪcڤ45VNC ̿g/:OA?gxrzUfOP!xRzWs*pxwV{!L&>l|IqḱXA'i(8( f*&RdyzX) ܚ^ӜS#F|=d>#m p%TT|JizW'q! 7<0(ϋݏcKV,]E=y SCDKz`F<;om*˪*]`^kҹ]YFJut?^V P;Pصz!^q+l [wo/%-( 4,2Wofft>zw}Zܱ@ՀiBCYd,eHR<$Wښײgd}ÑA!w;Jc|nu#y><V{1`n"8]씘 H׈ѻ`:L{3Đ{x^%8ZQ߉7N5͠qN3a=]<Ӯ?eDʰ󲶇$5|J%K3gUn Z;'}G峝sFC_bb5i\4"PN[b"6: Io|o.Zprr6r  QYty, -GKVѵ؟0HvT˫)TBi&Λvz,H eYIbnHvؗ t2`){N4Lk(`%kTR/m9Yѕ:jSU]J0^&>#'Ȳ&G9֫$L};ycQ:K:sBf"/EO1 uta qe6P,i_L>xV?K\@ NaIԐ)}cd,%Ql00kV!bsN>ץUz4m2Z#f[7bCc|J̼c}@dX 0m|iɽ2-c7lUEc"Ư8vBnU!}A0nJL`hˠ)VN`eVo9IZ:-_AD;8p6rY,`cRP~]-crf{UhV Nd3ޢjڱ"{@0Y]+\qc`e~N7r%p`[x| .ᐒE+> eœCwi"w丣%VI: f4 z1Ӟ?}o<8EZ=Ga|QPrg ?g~UCUګH︗& O;C)@^ ӗ9y8~`6/jŝ|&5Rl dzε9 뻶-1P~q_1Z>Y~LSXm6s TU lBq V oF 8%p=.8vRfFoW;({]me-d+>>FL ,e =~ve ScW;+OCO[{Ȑtđp,( k,ܩf&WnX`vA:.KMج~5@6X(=jMHCrku_s,ݞ{IUpI\,b0m Zk1iur1^#;+ŧuy% ) )x ο+vgcN %ɜ샪;P,9# Aq"=+5;ny .+W^*Dm ?yYSÄc޵k{8#C/ aUxSr6>IFfP*Zn98u:Bڼ#d>~e=t_ᦞDZ7ayiʳeVf cMR/zrQQķ<=5M~+^n+ۿj5W Qi-ggo<3v3+^&bkL][!-#a}ӳ{AdBwkv=_ w;g@TQO@[TAkܦCϯA3RiU)ER(@wd`LGpMlzC)~$MpyfqG1G!EFf7SP-drXm-n(*&>@l_oDRm?&>f2wG}vD)/HC@ TyČʃ Qr ԤJy*<$|+wct% Iyy"ޣV mHi@QW,1N:оeb ;?Ekb!; |-}= ah g81X;Ci$7a*t_?7S%wHox%{?UqG32N0l1*=#^׾2ɩ,]TSafUütKB%8rg+|?;#( ž a1%g0#DJ{H́ =`쩎"V{ "\\PtB38\HsPC4G7%*;S!t8' _Q#t \SKHh'; X? ~Np)6jd#S%3zx cem?'LP6W\,$.8m*vIT{P)v3[a[V8!^!_ͬܶR,`ӱ1ŋ>앋!ѭ4>TTjd`}xSUӧwHQggFz xg90ej.aq'VPp7.yJHX`0%nE~e$-l.hsOC띩h\J&*h^H' FBt9:nP,J@ΌFȄްytZC[IM2XTxH$m yPFKOj8p+HfF鋁\,Xr0| .RR gte6B>Yte&ȣa\Ȫn}S^y*yjGzh}<`e VOWvf(g1ɱh N?lP4@9 Q UZמǺH}OR vIA=},wfKdxdT綱WvD ܲ(m8lD) Zzc؅QNS3H,jZb@ҍzdH»m