minisat2-2.2.1-20.fc41 >t 6 6_ lpt 3!Flض zE>b$bjf@ b$bj6XJ[^AcLI.O=X f:MANwSe UM@=vF=E`Yo)ꀓtrBP%wX!о!rJ*F l@ƢkϨB;/M" C aw?J_ (D`>?d   18<dhw        @      J | 4 u( 8 9 : G D H l I X Y \ ] ^b deflt u$ vLw x y,0X^Cminisat22.2.120.fc41Minimalistic SAT solverMiniSat is a minimalistic, open-source Boolean satisfiability problem (SAT) solver, developed to help researchers and developers alike to get started on SAT. Together with SatELite, MiniSat was recently awarded in the three industrial categories and one of the "crafted" categories of the SAT 2005 competition. A SAT solver can determine if it is possible to find assignments to boolean variables that would make a given expression true, if the expression is written with only AND, OR, NOT, parentheses, and boolean variables. If the expression is satisfiable, MiniSAT can also produce a set of assignments that make the expression true. Although the problem is NP-complete, SAT solvers (like this one) are often able to decide this problem in a reasonable time frame.fbuildvm-a64-31.iad2.fedoraproject.orgFFedora ProjectFedora ProjectMITFedora ProjectUnspecifiedhttp://minisat.se/linuxaarch64 f GC܁AAA큤f[f[f[f[f[Mbi%f[f[f[f[f5a5f34ea9a91c37187813a48501c1c3042adf864a8d782fe91dcb9cdfbb990fdf05c06338f07018b71dcea5e341ee40615b357f8264221b059ef0b988d68444c02847f5dedcf757917a8dd321a8314d1d21268f54823e17ef392311d539afe166b205f28c535427c6097812b98cc7a0593dfe6b60865aeb7b296cda8800868058c328f7d252f96b28e2b1a529bc8bca25f8edf70d4f1f44ba75e1a3522844314c6333a96d6e978c38ab70adb6001478e9f3947a2afe4d6bb9664c8dc616afbb../../../../usr/bin/minisatrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootrootminisat2-2.2.1-20.fc41.src.rpmminisat2minisat2(aarch-64)@@@@@@@@@@@@@@@    @ld-linux-aarch64.so.1()(64bit)ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)libc.so.6()(64bit)libc.so.6(GLIBC_2.17)(64bit)libc.so.6(GLIBC_2.34)(64bit)libc.so.6(GLIBC_2.38)(64bit)libc.so.6(GLIBC_ABI_DT_RELR)(64bit)libgcc_s.so.1()(64bit)libgcc_s.so.1(GCC_3.0)(64bit)libgcc_s.so.1(GCC_3.3.1)(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)minisat2-libs(aarch-64)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsZstd)rtld(GNU_HASH)2.2.1-20.fc413.0.4-14.6.0-14.0-15.4.18-14.19.92feM@e@d!c0cb?Fedora Release Engineering - 2.2.1-20Fedora Release Engineering - 2.2.1-19Fedora Release Engineering - 2.2.1-18Fedora Release Engineering - 2.2.1-17Fedora Release Engineering - 2.2.1-16Jerry James - 2.2.1-15Fedora Release Engineering - 2.2.1-15- Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild- Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild- Do not glob the library name- Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild 2.2.1-20.fc412.2.1-20.fc41minisat.build-iddfac3338bb89452ba1b6b314d4b23fd0fb7c490eminisat2ReleaseNotes-2.2.0.txtminisat-user-guide.htmlminisat2-test.inminisat2-test.outminisat.1.gz/usr/bin//usr/lib//usr/lib/.build-id//usr/lib/.build-id/df//usr/share/doc//usr/share/doc/minisat2//usr/share/man/man1/-O2 -flto=auto -ffat-lto-objects -fexceptions -g -grecord-gcc-switches -pipe -Wall -Wno-complain-wrong-lang -Werror=format-security -Wp,-U_FORTIFY_SOURCE,-D_FORTIFY_SOURCE=3 -Wp,-D_GLIBCXX_ASSERTIONS -specs=/usr/lib/rpm/redhat/redhat-hardened-cc1 -fstack-protector-strong -specs=/usr/lib/rpm/redhat/redhat-annobin-cc1 -mbranch-protection=standard -fasynchronous-unwind-tables -fstack-clash-protection -fno-omit-frame-pointer -mno-omit-leaf-frame-pointercpiozstd19aarch64-redhat-linux-gnuELF 64-bit LSB pie executable, ARM aarch64, version 1 (SYSV), dynamically linked, interpreter /lib/ld-linux-aarch64.so.1, BuildID[sha1]=dfac3338bb89452ba1b6b314d4b23fd0fb7c490e, for GNU/Linux 3.7.0, strippeddirectoryASCII textHTML documenttroff or preprocessor input, ASCII text (gzip compressed data, max compression, from Unix)RR R RR RRRRR RR RRRRhttps://bugz.fedoraproject.org/minisat2utf-82c83065a7ea300a3c678de547c19f0c916d4c8c5eabac7f78c7a984f56550937f69804b25b08a3258707be1e78ec5ca7e8b2d854468b62d1f1960ee2b193f8a3? (/hl1J@<JXq@0Bv QDx>yq.IŖɷ+eqͦ ϵ r]cdus]FJUwֹЛpVW<:/1%ޓ&3=~̸!On8g'D GY90NR}N(ϖM-ToAA+(M,DݗR= %zD& &‡+xk ?"G$rjj[k\XL_Bl݌_ ) $/ãj O_)ҰDoB$8PȤ /b%xPzZfGmx4j_T=yUo32L3wA4r=s$ɮf8^5f,8jFq9pƍwsꛧ;xG='#\+/ b{)ÏFl ?](F43Ҕ %wQr@+2EPM$g~Rm`y [p֢Cble^xC:*4? HS~S" -568) (08@ H P X `hpx !"#$%&' (()0*8+@,H.P/X0`1h2p3x4579:;8}_ж+?#{{__$pG"8   Bb"9&"*B.b26:>B:F"JBNbRVZ^b;f"jBnbrvz~‾!;A; d=ײ=ײ=bڍLZ iRo*3]2&j$5(0$[ş-ob0֩9 0a|h~Wt<" m&GPa٨rˢ@69GO{o`79oYl.TBx|A'N7A,C8V oWĪe^ZUSM=ʈOlWhاgՁ%}HLoG+ŇI@[۟qxp@ᄏ6 ][;?݌yopd FdƶMI5 :L3]N6AE߶}mwl<QA.?3g:bP񋯏~=:17 wْp_:^4&;x@q{q?s&X_SʙS}/{cѧy"q÷>`;-2ἌהC>.ę8` <;kBfdDutg8}uHe !5T58mL LD6XfÒV#Z4ѳ@[jfTC@Q,Bݺvt>GI;ƻʇZa 1&J)XxGw>L$O;ea`b}Y*}qwƵRw *A~E}jRTJ:i*(IWmF:3U7UN,]? ? *ȒEϵmw]LٖiC&Bf_F,щ&7FN729vXؒS,lYWҾnb8ZS\2e6Q~]ɉlIՀ7#agԋŔ*aJȩT]7G,Dյm'I) D?RށBl^RbњgO~ eYb~] '׃rz-!c=$Dڠm8LoMi@n\*#ݺmwӴ0H鹉5=SA8A itԊXM!uY]<7|DFVv/њe,ҲlQSZ2̀OmC34|/f _C*=sS5y 5VddJIȖf٢sON?6&e:!k?XnʯzhmUjn+̟߆-{1[!BH}sNB\?Z8x* d"crph 'fTG6@ce1Fy`ݚp9Q,ёzn8=c׍3#Yohe"=S*0XΛy(z򧧫ߢ,\!DyKj7z֭7CNT'\2ʅDz3a+=FGճCM, Eobon2ﬞWwʊ=lĺj<;%M{O*mm:P!LT\8.ٲgӨ#vO6 T`gAYsLK[VaDIi%_Sv? 5GW"hC:40?mIKV1j^r l1 Ua-Ȍ&tRAqENADDRi?anױ}i<2Vg^N y9aWNf(l|=KfMcհ/Z:n\~:O^|}0o9 *{w7|Z^aG wgLB#Hr&/YIb bjk`BNv}^FhNtmrF(\˚j#=G9[͑ C y7?4VnT5 jl{wr,a>+5!5Zғq,s/ G.{4eRBc=Mp\`X\9f||Sƙ| `!e5i6Vk3kpOϿT7ũ5C;n+sN?gN'ׅlr~UdC}\ζV"ȃ,K٣ukʷ&\Q&|OeApC<. F衎NhaS/oѱ(;?g iϾ\F9l/Q9}]N2O_]3YGfFo=l">~:G b{nS/?790'^CwYzs6 ]9| .Ƨe{γ!B͟q?d`]]KM-8yGW.&\S?aD\_ۋ, ~aH9(ɅtΊ!iM('r=: Hs@ 0 A$hK{n˓[n2 Xo;P6;9cMARݫjn3%?_-%6K1tˬt9^wyq._ea%Ol>VMf4<ş=e5rUk>WRy~eYMoá))V ?oWL%Hj{Ə?$b!{= |U,~j~[-jKKٹ.y^ D^Y>&,{F&n/x3-_-WRX-8=ǫpϧC̹c|et,_,y;GY,qx-s%ѽ<;rew;}Sۣd0(Qs!zdֿyΟ47i?LHWPƴFjeggatY{x z' R0$ P46']BVjaA .mODK\N IFJ7F)m rlVeҶ-|g=\rGV(5xjv9QXcS6ʺKcްFMt?_73Y6(}ݰ`zyEkn / \GA;/bSeV(hb$ȳdzl}}+фU霙j\7Q"9V WgeS^VCܔN/7"h{lؤ=!!ͽ(Ђ6jǃrX瘍z1NgCޟ!01J筙h%"n4U#DC#ۡWfW\;2^`TEU͢%lhCi *`ԶnK[[PX[H: ÉəX.rFyLhxq7$V4\,X$PTEV  xtHӠT0C` 88DGe_GK(D [p@DDF`L0,BBNO{NOCCP(t,DAL,FGR -4 BCCEPLUX ` B @I  @I AF4<,?G p1%L}L H  8l  8Ph+5 8@o0 x @h p$# % xh0@GA$3a1-.debugB7zXZִF 1!,3]?Eh=ڊ"KygԸ͓ŭkK%٨6s^{#Oz@|9f3{|,2wS ڙl'bFu+\Nr1 I&cwP*$f&t\ajAJL^v-*L[TMn؇/NwUyUcA=q-&]OMU3$j[ß8BqUrxrҶ'cUX,GOHz0XY٫Mw4EX<၂0B ]ЊB&x_BNL+6\׬6޴8{^8)sI_1{=a ֶ,IIEk-` I]!J BC]}AeE۹CDQGeh~{ׁ7a-`㱰O&Y߂Qt x{[5"Ul̋%Kµ_A$pX";: 1'l:^""^^R5 t]"ύfFb|ɟAm-EX{TP˗C$Q:MM0ԓ2[8ȱ&;,j߯)n2'8*oLzBM=?~}]/_vay7ȋ1eu& $4j+ԇO5QƵ u`*YT2H>C1簐G4; ttSScQr/u5>h^ @ t@SQ5a`*mHpv+SCwH8@GTvhlΗG~ X bvZUw+%šr#>V$˸FQk_+3h؄T<QXBǓ6yr@"qECԈ C%^MQ<~#eNj-50E`%D\5&9\Y3JO^'FyqHT,ם qF޽ΈIx/<2h /v9rjxDd|.[4:]ݤ"B lID(^=ۛZ @/SBy 䃈>sAğX4|hDA ·Gو4..X/}^V.f0?vDS-B3C>|⤨ of?K˲(tBKEKr8-S<$Yv;0|߆]9=/ U(Kƪi.KSw\]5HŐmҋpEOzاes"|#O3ROsd,o:mJU`O/7yZb[m~?3sQ]vE1gYZ.shstrtab.interp.note.gnu.ertybuild-idABI-tagpackagehash.dynsym_relapltrtexfodata.eh_frame_hdrcc_le_arrayamicobss.attribute_link &X$9| GU&tgH$IJa;q!A9Zi &3c(R$@()iyT*vQ@qs:tdk-Max-D60U2؜灄|.,ABaP,=] f߇;^c C*-R $brM֍(X 1mI'[SC<~ Zn!8)Mw@5^樞KIֶaވe`PX4]y Kg9Z}irgnã:=8| 0p9Q FX@f}:r&@'>8ena:>K}dW'݆?>J&VNvp|'V7xbzT%r*>PQ۞x!G lhE%<ݫ]h7$Ds+uz B S(:F.2v5`$ HDЮ+?bG@]톅|C9@!5f̕+ka#҉K?@C.:1B0qqQ,UB)SIIK-R|hOMDn_J/QZ7!$dB F *!?Ӿ .19 ~@Fjn!IIk%"ȵE !G<DQbc!!5LHY 0,@ 泲b GFSƊ.N Nd^(pD 6+xĸ\hxq@%vCCc)lD`GrTS;O0O;U>yM'IcCK|grc[OKѺfo<K_bfΩ]YJ]OJJ7Wi|pNXٗ'ms>5)\`Qnum2-]:cַ!S:ڍj!Qب 6)쮥8W9nN5rK~S ּm"#*^Ju0FnQDYƝ*mSLk2$BAb`")e, D$ JSd 7}gztYs qvl6I$1iG{WZ}N/0$W9^yۍV,ڻZIWŠ!q 5"Jj8@3 ]u~‹B}{;)V56Υtt ?F%v+FcJ!y,ohڱbZBdjdr"/ ēU4uPeug= (j hɵZbA!xNB%VBL 󓆪zhéԯ֞Mm( 7R@TT7zCí|p"Da1iNp H3ZB?mOv+" 1gu&7=&+e7&xE{'!༊k*s6{316UĮ>>Wo L[rrD(lb4YX]R-#Qҭ:ZIC~ges(.B+],3>T\ =W0Q(ajbU_;Krr pߍnh7{n7q({bL]3|6Vm MekV.1 0v\ͿA'霁LZaNL0O {{08;r!AA|pb>:5PC003g ̼2b8HZ9 Z7Lz&37iD}n|ˉ#!c~{o$(ĕB?HTG|"bŚ@.Hn K(KU~S],IdiǎOGTOTPmQ88)>$Z/VBһ3(β[o#agL1/ѡÒ݈FZXm c 8Oyט׆$3{yw,N^VDF EH6Չ/(d,׆言٠e=r;KcvFSD ysm=CU}q~Cgj?N{YnUyAUϮI r"yma̸,W5ؖE` oQs` :+N+3#hLKFE31"+ nϚC8\J݅xMTgV@\2O7m?!Bq;;xmĀ -~g:l94(ǣvӜ ;.qZ o!fz,ȱuK$ߢ /Pnt%邩:02⍕XI4PR'!߸1Sm3s|x(vM-"~`(1"b+n`[`(@(<aӢD6ӅR \1T"RYy,{wk)7Pv{q 0S&.w`cvJtS+4HIsnA!4&Kz]lj#2Ɠ+DZҼ%*?L+,pёLl+# D_ז3z9:.0= SHAk-| z|ϤxPJ@jls Nmʡ3━ћM49igD"doaPcxԢ0W㤱D51[4Y;(}Py)&|O2 }ڽc>¢)%"_0 4y,a$A .~ǁ V ( 0Mð|]Av*"= y:d@U d1o!tׯbgrnٶg?n60BiM\~& "2͢.*}b5k.X &a:#!@圣,椩1Ia kjNBc`8n&l) Zo`tW ?U4,z$wtieB}gM`9D0C,S7HTxOvJ`{nV@pO- 63EM_MxF EՓqڂ1%h٢zD3\(aL̇,Wc ++է1?99Y1kNSfN%?u js2NŧQ8ܣ?iP+'DɩI=M͒ Ŭ 5pЈ s0FU15pxrL/<0@^ڻHH`)lhVnTL]cMP^x,с Bs(6 mUJZvc#C kFgqJG$l[{ of􋑟ׂҗ\j>I0V_'>I-$j;uIVT.>K .jK5'Hس-OQ>2aQ ^;5HJW;x60b*5HHn47G -cB:\0t*ANN_ǧ۵UoK [4"obv"y addsc.G.,ct(ns4-2 -n ".in"W;'s-IEfcstead m(amel n'f)wikip/__"'""_n_Cl">L! -ks/noonASTesbLIBb/ays/high-ura-flossH A (Sraf)Free-e / OSS)...Lot FMakdig)a tupaeftrw pub dom.rd (tauat- lst./ 832a2-c crs 915b-a7dc21.1.gzWms۸_OrOR%'wdLm4SۚHח"A g=yq=Y2^~lq)Z:rzHZyh~lOO `+[MƞبZh ̖R!*Eh\m:P3ժд07N˿*2*D@wUk)XZ(3Mnm*ߺ@q;7'.\ }–) .=);>0Z-#_&Cyj2^| KJS@#ʕڳ9ȜYa-Gj&3ٚoz&d#EuLEdԵfm*,1-QAP`|nH|Kpj͢.ښ*Dh2W*0﫺.8R1;$7tN|~By};xc~SI4J`@#IZ`eLG 6vj0Nr1]y0hpt֤5!ыdm8P">Ըz>a I|JGMRRҌp5Ug'4@-:am9jxe+2+7dk؇7)4d8,t؝@6v1L#E-M$j׾#Pk$QaJh*o֕>)*M )c|Qce7o|7oz|A-$,k<њSO=w(]NrWuLC>غghV6s_S+9{q+l^gmiD-0Ul9˜~oVPUއcF)]dY1KB$h/܊OmQi4^cBȒAeQ(>d|)q`F`;M%}Q o;e?V}7n>]߽;;\Oـ7)d F7N"RtcdK`"Y]\kKo2y7~^L`y k[g /|[ (%lR]gi/(NZ()Qiqw|e ゜[:X[)Ϸeu}jc. FL芝!B(ŸNs!}Z[~ #>#82\q$LOUbQ~W-v{D #ŖblRUb <$T@&']S5Nj L4d ;xMѵNP(%(c;?1Ɖ]FF50 hP2BXu揕8ǫ~=\; <ѿFH2ӎ] ~lmLީ2yy_]cLLǰ̖tW0I:Gn;]Lʕ)0Y7q[{a!vFjߤ)#Ma!vb{(Oj8+f YXZqq^LHmx(Bˤ}UzW?,?=|?DqLޛ'̿thc4'ՃD.;_&tS5]O^U[&qt# hg}h@=t bTRAR!!!'NۤҩeI  FD$ $#ba 6k؀5xIzzeg"4' b Tu}Wx7d+:!5K(-aX`g[@S뀰^ ؞8RA%3.J eb"0z߼>% WTDL80 1Mo4WLqbZ1 :@ C@HFF8 `ֱN :=o_5;aWMM Zpj_&xMGg2nl}Te D>#$da!5 @>":Waqp 0`ff86,ۈtѸ=pD\kHufOm H(,;oI!Q ^ kqY #(r3 iEPy]"׏n]ZOkL&eH"ئt-X} 9ȴT$A9m eCQ,,1c|AP{:.ֻ8K?6w,pKR'J%\ @r\kXrŕ׉Uf `&zyB(2g \].F&q(A