cryptominisat-2.9.11-3.fc26$>s7cMHx+Vy@>:?d  ) DHWfj y    R T\fp @  (89t: GhHpIxX|Y\]^bdefltuvwx$y,Ccryptominisat2.9.113.fc26SAT 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.Y8buildvm-15.phx2.fedoraproject.org-Fedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttp://www.msoos.org/cryptominisat2/linuxx86_64 M큤Y8Y695605f1c9b4faa7e457000f61e12058ff294a14ebc65d401b3caabfe6bc0fc7cf36f10c5d55ddb66752d7fa24255d2cf15859ab19468f2b58bdf53112f38a11drootrootrootrootcryptominisat-2.9.11-3.fc26.src.rpmcryptominisatcryptominisat(x86-64)@@@@@@@@@@@@@@@@@@@@@@@@@@    @cryptominisat-libs(x86-64)libc.so.6()(64bit)libc.so.6(GLIBC_2.14)(64bit)libc.so.6(GLIBC_2.2.5)(64bit)libc.so.6(GLIBC_2.3.4)(64bit)libc.so.6(GLIBC_2.4)(64bit)libcryptominisat-2.9.11.so()(64bit)libgcc_s.so.1()(64bit)libgcc_s.so.1(GCC_3.0)(64bit)libgomp.so.1()(64bit)libgomp.so.1(GOMP_1.0)(64bit)libgomp.so.1(GOMP_4.0)(64bit)libgomp.so.1(OMP_1.0)(64bit)libm.so.6()(64bit)libmysqlclient.so.18()(64bit)libpthread.so.0()(64bit)libpthread.so.0(GLIBC_2.2.5)(64bit)librt.so.1()(64bit)librt.so.1(GLIBC_2.3.3)(64bit)libstdc++.so.6()(64bit)libstdc++.so.6(CXXABI_1.3)(64bit)libstdc++.so.6(CXXABI_1.3.1)(64bit)libstdc++.so.6(GLIBCXX_3.4)(64bit)libstdc++.so.6(GLIBCXX_3.4.11)(64bit)libstdc++.so.6(GLIBCXX_3.4.21)(64bit)libstdc++.so.6(GLIBCXX_3.4.9)(64bit)libz.so.1()(64bit)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)rtld(GNU_HASH)2.9.11-3.fc263.0.4-14.6.0-14.0-15.2-14.13.0.1Y@X@V?@V@VUUa@UD@TD@SGSS(5@R@-@QQ=@Q@PP@O OLOKO N'@NU@Fedora Release Engineering - 2.9.11-3Fedora Release Engineering - 2.9.11-2Jerry James - 2.9.11-1Jerry James - 2.9.10-3Fedora Release Engineering - 2.9.10-2Jerry James - 2.9.10-1Fedora Release Engineering - 2.9.9-6Kalev Lember - 2.9.9-5Jerry James - 2.9.9-4Fedora Release Engineering - 2.9.9-3Fedora Release Engineering - 2.9.9-2Jerry 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- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_27_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild- New upstream release- post/postun scripts are for libs, not the main package- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild- New upstream release- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild- Rebuilt for GCC 5 C++11 ABI change- Use license macro- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_22_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_21_Mass_Rebuild- 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 RPM2.9.11-3.fc262.9.11-3.fc26cryptominisatcryptominisat.1.gz/usr/bin//usr/share/man/man1/-O2 -g -pipe -Wall -Werror=format-security -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -m64 -mtune=genericdrpmxz2x86_64-redhat-linux-gnuELF 64-bit LSB executable, x86-64, version 1 (SYSV), dynamically linked, interpreter /lib64/ld-linux-x86-64.so.2, for GNU/Linux 2.6.32, BuildID[sha1]=d4cad6b1875cccbba9e268617dd1c631bc59d6e8, strippedtroff or preprocessor input, ASCII text (gzip compressed data, max compression, from Unix)RRR R R RRRRRRRRRRRRRRRRR R RRRRutf-8?`7zXZ !#,:Y]"k%{A٘Dj?\|7ԯ@ty8ZY1W՜yB*0zcG *})ЖˢKg%Ex>zj4`2hc`6:FrRЫ]YJ> ^jw -ͧ^9׈-2 vj=>o7캼ܝa`\/W~ `^i! M"EXIXYfK1_~e FUdFeمw]Eh'/EgMNUEe ׫)+6~H;na}2%\7Stp%֐0nG5DHm,/ۡ]4( A_Bs@St`D|a/~CweOt6P`M|j́W鲩e__ rBȱ҂syK_oI@̟ ˨HZ:ܖzάL@1m5aמG(=-wI. Ns2γ0ƣptй>pi¯.}f+$x*t )[ހd TVM*8xݛc4;LA+73BOd ūĉ9 f%snН2~Ko1Z 2:%fݸns`o/OEgTSdU $c3 cUa$YdҰ.z00}/pw\`(smH8x{[xfAQ*OYA9" KmnlDz_,:1 Z`6wL}˰K A{>3!AkZ(!yXg|<a(ãWeZK0we(YWqW?!уEs#HB\К 8 w:4ٯgT: HP>LE/ @ EaT1W9$h*Z=Kߨi?\nJ],f wZ=a#u;D\0hI(Y+zu2˘S9GT>؂hˌjw1UI>C$RTh@~Zʷm^eq㫖Unfe:6=i_m$Yq 㯏q愑hk2[  B=pDHz)MQw( d2٩bꯙx;xF;rqF8x[5wєnټ#c^Jh jgP^vk8Q1t\d7c %R#@ Ht_0{~-<7Kiei+m+3Ơm\-u U:e+&>/a%9@1>^g=zW( 3 }{EYS2ZKP h2uet9O_`!Gq?֗ ەr㓼 G2N 0w(#j-1q Oψ w}(._*O!au74N^>QO=>>t& 9H-$eLǭ3 ޥ*[('r^p%+X Vy&mLG#Rot7YofNBɂijIIc pC;|ӛ\w'tQ+L1ܗc@z0jNBZ0PO)-UՄ9;b/0jk VG lY[~Na!>l$)=8p=jnʃ\Y.fDhj`NN4Q/"ԩv;ұ(f:$䮖6^_+Wy*I8UYjlf!TYЉ=l2.YbL`<Ɲ@;cAxy4GBsY/ߖ; \vP^4]E_Ռ#Sӗ#yC53&8beY)d-fRv(inC^\$3 ԝj Wl1{ِ;O6S~E|). Ζy7yl8L%8sڼ]ӏ|tE@6 .xZvk;B,`>S"1hq8c)c'@NiNdm:T%ܠ,vD!L:(gj~FS鐻\r"w`aO\2K:? V${Aҳ-ViT^qT~FMzLYY9k,T_ߪVK#n>s6}B۝P,)$ϟtL}.O0{s  Moo4t%Vi;_N,5!ݟhL~ h֙3V.xgv7Zh8(&JYSrfA k~2a} M vͲ434nXxhAb(2j9n1vbW#-8 F j 0rb!ww#fzXAd$2qA?Zm5=tkuͣ^̄ɥԁ(*sNޥ؟A84*jR$YAM(Uޝ4\}oև P5Ş+D5'W8!q.k{TX0sԬOzfݍu'Q-q_p l#NWen[GV s-!\UPv  VgDĆ'ЪӧmpӪ0Cm֢A㱔Pv?=:/clpRЏNZ  ~EG.UP`H~ D5; 1i:cU=>F¡b`xI U. om 背qS>]aq&ii!UUg=KaAS +SyD7wngo)_M0  >:!qelS-:q dP"q:Plz".Uu c^VN?JsEP >Gv.9.]`rI|{Q5w)< N"&p|ИC>٦|4a6f,Iǧ:Ar @8x@OՏ.Cԣ݋ͨqN;'W~2# f xH:,R57D4R͵#}ګo8F&\0mGBs *;(W7YU8ˋB;2.8gEb]Zgnj=Ut6"$i>UwD#rI6DF&4Fpd. Dg,ScnZIӀ:y@*-0h=q:x(3( O;E:T Ũ5鬋?RA󸆼 5p'rw>~e,6*p:_v=^0DIR}9FNt֡ uL ;̔I{nZzkyN}PF`sYe3{R_RRA7u qF9~&I#bZ˘+N9q20} _<kzn0v{+{$7H''z)v̄S3 K0)-d`BދX2vfY ll[jU]!xiWf> U1R1_K;xp1V6ˢa{&L-D/-@xyd1hZcl6*[WwsL{)V|XggU&r'5=71,j(;TNoaZ/}չ{o5 -- 4(Ӡ W:]zIA]OVZ.&s}bA⽵sξُD'Sͬx]/ï' ] [J&mu%a'JpPa71O }0RNRJ0Rs&56s'́} 8;a\FjUO~fY:ɔ 9zO@fw b904 MAh ;I\ӧJ`6,yTJ96rH^LCiz4dR5o>cu\V?tƬgD*̍p/}~$>Cic"!SZxН݋j47@1Ŵ`L1+$64o]  z!OFGZ)?JL#alޢkdwʣ_1|ف/Hw/"206\&Q/$β1GX;~T禔 y+HwAv>K[0,/J?l %], vo.xF|,,ys,*|ў;(m(X%-3ܚb;poX-˜+bp>ҧ}-\4@DAh-(wLw%q&4\ygUO']0{ŎJ*X_Jd_ ZdiCRX9-!ZEEI|vLa;jsoV^shu,?R_/L6Y$d/9uF\-hW] (dg `(7UF{C\ߣ("]$#ײfٺZhN̚|9S YMO&[@8oT_o:Z ʉ UQk ϘAS[3ͱ_Lk:M7EE4.GA8BF,V4]Ph؃kG@\XLE0k]>=ޓLFw>^ϔ` A@YҍmJS? och,N׼uH 24GL5\ ~ӐI^'NbL#W6&Yr?fpZ`0]+iͲg蟱8,Uya*bhML{gH1^N8MʨD[ӠZ0pZx-$ fܾ be =%B?}|)vCŃ#V*6 IxYC!%nrkWH'Oau&nZ$tnf3M|zne:GNjqe=s,btpw'=ߵNJK3YIM | g".3Iv!D4,4' zDvƷx%9?zR(]N ;,UFw/5-ƷLNsۼ.vSB؃lӥZ1'&Ҕ j:L5C39<}^`8п'聹$,rm͉C6D]ΚIܭG/M1kӚJb$*P65brZ%WNp`S-jk͙IP2̑Ue/Z-7s)y-'DB(KW]/mvoJ4Ρͺ3׋,|7} n~ho:DKƽ\Im1qȐ >$8&{̂MZ\^MR刳Ձ\rH<>#‹HY=d6\hLgs gESk9D[1'airs=کO%Zh}u7LĖPyb04,oG4tZl;މ?6&u0`fwV"͕>&+[3e~7C#y\_3܉`8A `Ūҫ"ݸo`*X+H ˈ^TfoD͓VzIz!&H4Aےp伶 ӟQFc4)ǯ1ZZ,m虙(v*i!DZnuky U![5'A[+ͣp]ԗf ͎%^ݓD>a*˘,A91D+pAfKԋM(aD͂KBA <8A;TT9kpFP4CriH>/!d^E-]eLZpPec8D/P,!t > DJD;~#4,Nkdg,Ҕ|3!3O^N0\,~2EK5Wq =.= :53c8ߴGѵDzUU4ІCi.BZl>"eB,JZbJů}juI7@oڏof.ڗTڐDPh6Q Z~G@6g%~{H8Hy5zmp±} _[ߐƃd.MߪӺhf^0̃a5zhLTֽK̍0J:py_v]3vN1Ƽ[@={SĴ=h_ђ!Ql&y=w"Pj"LҔ_"8g%}hLh]WU4} A@oaI~ g Y8}P3T:pTV⠛,vvcl} pS9 &/)3M_;ʖIRi:٧#6QU?7wzN V<腸mRPW-fsH:]RzBZXc6"T ,L x'}%r1q4p7فĞ}*$* }GO?PQ%edo ~fKmh_cO*l2UW*͈emHXZ &lD9D́8γݲej]q(ٲnu'wRA>E63 Fz;Pk:!Rȭݵ*lH^P]U6΂gpV~ '6/pldJ$|Ξ|r)0;;`xgċa<Ɋ7KR`p# ߝ8ZGzW.J䋸 К5ONJ\.8 =|దF/Qf9|`QHb殱iyӱ|:7d8 '5֮T[^ qY>l4N+aћhT$bHOޖ'QيDzxK^M:yLql 6…ibp^rM<ۯ1xSPoM{ܶՔ;Ejng Q; <X (rNa32O9 ;f~_֓mEAAJ<5VdOcw J!ܙO($ J[16?vQq!H :&g'ݜI,'E7-[l+bUK9Cɚ!0DOÀխﹺ& aD;@;HeO&O9!KܧN^/Eh?]m\B)Tܶn??ysO? +i؃wl9?{CUOZ>0m"hav_s5տCů?pbVw>h &A.oj >fme4/0cK I%#L5pXBUK90JyћtO-\#C9.%ͯB/!0 MK|Uz#qFDuHۈZZ*[]r/2ue)N™,L(/!\C'D@X;5VZb(-[U*2}e^CaޡOYޜXoۓ6pO^ y)M|8sbjԀ"}Q (mhQUjIC2O8+Ucм֐۳Fop^v_^_rI֯`lr1l Zmp,v ~=YF6+T]9 H!pXLM7粿q-ˣ~17 .W鏭I)LT့T|{Gz_l،v326p+[{EY `DkkW# *]5Y%D K*d3ݩE1r,5\m K_866Kܴ`ȺB<5)?;4Ư휵ȥ΃|`Q6.rf`%R]#> ֙B@ C@3xpMn$cS \jfVP fbҮ78(F #8 &|-ڨ{%^}?_*/S\XMVkyPǡ2 ës飹Kq0D?3+X!qdSΥEqA} 4gs$Ä œ!YPevW>J &"&y~~NŸgOx]v̰x;-,Qp+Y&D aY&Jz.MVtI>v2Q2T+J"^?*pZ 3쯩eL8Bz4."U>^mC|Cݕ[g,eˋ7}NW5@Mg )? 6wnM\^Ը$'vCN-OaPVyIF7 ]ClV~핋?逕*+r9=_TVJxcmLGh,SKF ^)XvS#\/7mP<ņvםtx$ey_ЖC(Ӝa78}4n,]6]H|e(rd?}-R ҮԢ^,;c<j^f{IՐ GQZm74YU|k3f2iTY6g <9ŖJGb)aq8Pfd,i ͱ8T,`[C^(gtdWђkX㭓9iܞxPW!iBXΘ5%=D.:> j]! #9@ } $ɂdB&˯EǬ5]<=(>;nXVӑ5Zt;/T6Blʍ~ e4D;yP,Ď FsMl"jq|^ t؛z$]>80C‚B:N܋#4L>a%wL+v0jvW0&y/Z+sB(d>%lN@__8gBk2rM4LN (pJCԬ=UFFbJ s\Ux:lX WW9yG%~p&aoh!]n\{rk G){u{IlDŽCX1 09OnRP"QH jc߼ #{mk[OC.ّK}#W`1ʑ 㳟u/HA RmRdk\ RΪMj0\lE%凓ުwNc5 C^|8֏Y+7<0QxI 1P+sI\G9.HB B8@J Zzzy/oG%:W>԰+m0 ;n6u7Y! /eZ*I3-.Oc\g@C˶i?5AJ M?yCmEb.V5b щ'>KNJk: ti1ۆ)boC۹݋6BRmM^r'툏J޿)sI"e8bEhXK$[$3J{2fXFv 3)NP~d! mf"Z*Ɓ BGѯxICFЁ5~,^k:}bV7ΐmneWJfkfDlRUaC0UρvTNF1dS\Ij lf-2kx?LeuYK@uO'/v/{N 7'{8δI*(s$<[˵^1VH,RKZ)oZ@fjXxH7 j}b{%RUsdd0D6%Z 4gtOO)#y"! MDՂ,z+I&/,Ӹ}SqE8/_H ஡W`bCg-XEo:n {ZK`TvPLG:3; V4 vgm0lM߽ozJG/aZfa&q'qY28 "FO7FF88,2ms1B6?l]> R>x.}͍74e]UaX056`:R6&V'#d޻`"U+L:7JT>0xJhOZFj\^[8d8rhXudg9G+ݺ̢8h3Q!{dp_tYTPռW<2B'+JhHZ%g0Q)J_} sxF!x]roLشEB`}dy\S)t-c4~sn9y tS'ImţelON oBm@F?xzt{&jSEP"3 ¼sm:ټhPJE,fPs锭~1<44Fih<QWˌf1J'3_ĠʷZJp[N|ʓ-TOaf~֥Xp5 Ml6- `vJm F"Z'Hķ(=-"yLI¤B4ZZh5lm7/Nj0Z̹E KA(jL&()nт˂pX-m_8LɲVUP v"A+ ۦFf_;o3>ppGe,}Պ@[rwW{oo)Jm—U|ebzwok^p:ɍ}@ף_3ۻ;cm#L>0G#.7ǔ$6*k ?Mibq>XKÎͩH`Ssǂ)(C@kH=+4g-?kX"Ps`6;#e@0k(sHz;VNkWTwERCf]gnCTv߭!VV4mqӕn0X9fOqyv[j-=eWj-J۱R˻&X馟!6m0c&ɽt#VB@ }4W)2Pj!#rgSs L%V_4Ůmu@صH8KDq_aVm#In":U|%="mU`_?e=!MN:xff} Uӷ.S;BcA$HECT!#0.p8MlP1!WP)-1턗&*N3|`s$`睉5^4g4];2;oPQ0CD3hcnؗ+2ZI1DiRj)b岞xhe0G[?ʪKi'`80lrbaa6Q|oT ^)TT/Zm@ UiP`QB5_ILj_kF C2MidQLvO0_I7͎rۂ-0LO8۹ERwFՎ/kc  )5[XUC Bc|q{e~eߌjwWDŽ'i,]N{>?2\ TFiw/ _2, C";J7>+i.]ƝQ+y>]d`I Q&n9fw /MUW:+54]}6] M.J`/Vx|+M2ΨrshK9{>Esp~b-' FpTuN? [;.z_hS?S!.daP0kWcG9zzT<ܛRv-:7jܾ xCC|c$Z@u^veYǩ?Q\*ʽ?/F .2 HwLkdgƒ=]{hjܗ%4d3AyaAۮ^Y&BThO] >AU3\XCkp}qjp8ڒJ+H: {+' S+Z\4$[" c& ѱ JxB*JPd}ʑ(W Ni"l|5!*gEpNj…&E[. 9,Y!yO4P.F Mt2ir˦Azh~P']hȑ١\SρG0+ S.zmLd1+ v6pѪOgUAB|!p'@1!rNY08e}4V}<’f(-NstfĝG Y-0{ߖ6@p6aNgrſ#yt5GOHV8ߢĹ'VW#w5N[8j1^K {.M_:-S\O_$a n@%S@bƐ* *?.!s)X_{- ^8Xz&&sw"u9c Prĉ4ߡݾLj/Zw|\S~{ xh?q0Ӌ8{sΡKBf#VEg^ןbpƟmN[ݘQOHZqJНtŕ!6W0?O.!p>}yuMgW6$ `db;{ɩFCVЋU$}'ݟ);NfC6߇):Z$gG}nDŽbj|=%n]T_**wT"\"ww8{0?7NҠ>6kiSr&51ߡ&Q(~%1+:7HLِmo-ٚ[kA0 ȕn珑mEZHxl OK"BpBn秜v D Qbk_biGڨ?s=R܄QӾ;@p} gbʄD>ty&m4B\'$O(Y4Te.9)6)@ٍ<~YQWުo(g%nr?O®vMA#mf0Jڲ+wej`DR\֔ ?%h Srg/UϷD@(nv83vP}&QM4.j=[9;@BW$$id#7{pATt}^*bPNY7np-L:ϳۮ;0kԱmR1W)4CSyLpNql$gB7ȘB]Pu%rx؝6#~x'Tlو9I$zLYoV( J WeX*eĀϷq$ s+IЅ!A`pNNf {o΅-B+b)qMhg8( ߿}BӔ<θ=  qR~bQÇmr#)avki'oͬ)o@gZ/$z3bv5Ιȼ}96VnY,ì=+8H-, TA{|e0̳kor?I=lrɽKR3wys=Sn1)T zp4(?퓄ֈo)R%u6 Pk<R['_ʚ'Z(}$}q\ЊRmO+EH 85A֓(#!"@ll>HYkI[c[_PHރ'.: !93Y4G$LWtZ4?: Fظ  ̛P-N?꬏ssVK1}!+C6I.PZawP=馍k?A??hCE;Yx,mLɞwz7٫OoOm 4hOxܲ;}U" ~vAxI#m[WPSiB'SJlI_ӸdnY!]X iލt80M8 YZ