minisat-2.2.1+20200902-bp155.3.12 >  A dk=I%z Y5)dH\ߩbT*1`(9-7S_w9 K`AcsDwi".q"?yYJl䓓e J#=2*'1Hmt#^aҿ@[4AbǙΨ(K~hœJ~T"k\\,<|:L {r4qvkge $ӓ/6 TZnbgr_m]=/UǴde7ei62B)5K+򘕵z88vtZQ\*[#g~AG[& :u@pJFfKeUJHhw"W]>ZN:rB?h ǹ[.P9%T56E> (uJ~\`\O;0$=a==\gCM]"e-T\, LmU;ktz^bvxnY9qO{ A &6%z_IOҭsK'|W:Ǖ@"֐q0Ky%3CK ó(rԈ o_q9w ,|Cez*p>?d  $ /  =FJ d|     6T(8 9 : F\GtHIXY\]^4bcSdefluvwxyz<LPVCminisat2.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-arm-10uSUSE Linux Enterprise 15 SP5openSUSEMIThttps://bugs.opensuse.orgDevelopment/Tools/Otherhttp://minisat.se/MiniSat.htmllinuxaarch64vA큤A큤dk=dk=dk=_P>dk=_P>ac694bdc2689c1d6668c1530c3809355807773d5f282ad5aa8e461731df727e5d4b40814c1048b3deb48228c9d534316e146f232063c0482c59c39712b6a5eac4258eecb86330701adc5ce6132df450a1e117b66d1018c307d901a583f3286fdc75f5063560674728fcfa7b9b291d26a3a8b9436a0d9940eadc81aab7779d62brootrootrootrootrootrootrootrootrootrootrootrootminisat-2.2.1+20200902-bp155.3.12.src.rpmminisatminisat(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)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-arm-10 16847497232.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-minisatcpioxz5aarch64-suse-linuxELF 64-bit LSB shared object, ARM aarch64, version 1 (GNU/Linux), dynamically linked, interpreter /lib/ld-linux-aarch64.so.1, BuildID[sha1]=9931fc498198f42f9ce191d91b3ece39faaf0077, for GNU/Linux 3.7.0, strippedELF 64-bit LSB shared object, ARM aarch64, version 1 (GNU/Linux), dynamically linked, interpreter /lib/ld-linux-aarch64.so.1, BuildID[sha1]=4bb4654363e3d878bc4bcc32963be4503a839f0f, for GNU/Linux 3.7.0, strippeddirectoryASCII text RRR RRRR RRRRRRR RRRR RRRRh` *;utf-8eeebf2e4d9e9ea3cd4b121804df384105b328bd1d638b2f30fdca272316403b7? 7zXZ !t/!C0] crv9wBOppXΚԪh"q4֔L,S&QvC-#MHUKްA8Vz+lǶq)Da 'E7 P3~7~]ý L0~} OX?(GoW2 vl'KZCȪfsxU3%j9t[A'G2v{Zpai!Z=m튺H\s_hL.=sP}JѤQANi`p< ڣuGz6X\Zy6vy,``3b?到Tk1CK7{+ܾkF$7,7{*@Gi{&W5On\qWgM: 2wmӅ>܉c#=r.AE׽&[$չ~ p+h/,%O sI.ih+9aq,s)k0o_ȕh)sqhWDH$ZddDr8ky HMȉ'TYCG!̋G;* d;=Hؖ4(ه%qBۤFG.' la_G.F,8|Hi5,$[ آ@ DfGȨ)b!?2J#l! 5!n$5`J$MAp  1}܇9h+opkUv <խalVv`llM|8TP*Y|Q{f"]It ϳcj?fު8 Un'~ G*"jH3լ3uu*qW'N>)Cks*ˡ2>F}q+c*ꢊjU^Nga5$>)" ŀ2?78gEIUghǒwGxmM T8/ re>Z6Td1*)#V̓ 3*옸AW=f;C@D Yk|8EX( y6@M'_H)TE6CX?H]AwO pULQ} U3FKc<+q͟EASexyV.8[e{}1&j̉]"pwiй DOn>a?o*L%Jk;(Sڙ7,5ȃit}\ y֍oA@\݊ߊta`~5/wzx;Iuh&!DL_MagΧ4 YtGU S9 ӭ&߳~Q=e XQ w@}i =$X>K!gh&=i ޵"rB?1?,BU\t$㼟,Kt9Z@D9Q\vYb.3 K:p_ zĂWH7X3.QhD.yn;;9c1a<aưoLQ #T+< VEl^ҫpMu|^b\dKcf쫫G?qC/ةtK^85vsPabWLR{D; ODxT/\3(VMVͶG1z?L-Zǘi\C]iCqt \T|3F`pyyss J.2`ct":e@Pڎ~RIkۑl*wɚ)kڬZ{ԭ2e!AcCU).lxHrB`?J_EP_; LVoRpxzKQSkdUo}H=i } xB+֦^ \pk2@6TFF#'ء6bh0}u0b̳@áυU U'%Q|Y;:RCuFF!{53e&,fK΀R V@u5U8CMڃ8Qc(<{%w`}R| w ƶ4WJ4o*8/'R(Y(H\Ct@ We4ഀZŷNmʴb:i5&]CzR$G%~Yȏ5u*PSOp;5t[u_5ei%Q &SҎ 3C,uV᭻ OD2'[vZ "ˤ( ewꖫ* ]WlhJY?XlKS`CQwSZ ٧6}s^[(659YTy0}W: gV{Z/WL!) DO-M~ xE?ESORe,n! K`: m6Ņ,Rm9':/N ?X6#:îxDKH|N՜Yg`|dq ?C>ڥhF,b,WiU !| ٯ7âw_ ("o,&U˫V?dZv&%.g>+[q]7) 󭲚t4A@l`2 pKkcieO/|]=^AɦAi40{%a]; JKÍ"ö_+HVt/Ыpt*;DY $xc~:In@_iM B> |֘.Z!觵v[ʉ@ L_,`C6|ԣ{t&Gwk߸Scސ%^dG(2;0$LT*E3":%~_b*aJF%N͇+$>7m0,@\Bd*4-G`zkvJAfjo!L:雑d^} -4jz_o`Ryw FEzU߬ZEE)Gu`(yciery-sZXzU#` 3Bf؟AQd0n7Ke*{gme]VCy1<4u@UV+΢6n5k6<p85bVO3Pp4v2_.$Oj.ݹ2J* K~Y?{F)ZʡӋMdQmc#A;%;@6mT{g.hlޱ__IE$R?e)?d(0eqU Ip o,lB]f"@\Jf 5Pƺ}(Dvаv'W; tY93i@AOn8G{Z+xxJ: iЃ8x?,1v' NŠTT$:& 1%t&^N$OA:\EGW=¬2Km.j9k={Cz_{,`JH 98Y`Ҿ'3 AHES>$~!J=tV1[B) /} LgUaqs?`堥M1/׮eV'auo V I 7(qImߧu J_$~3MJfL08˺PY%T9\\{#3 =O'/r slWkv:I/kRF&6%¼k9"|ոe$$h+j\ĶEPUĵV9c~\]ՙohs`;88J*3FW¿MlgV6Ot0^1vقZRjy2{gA"=z?jFL\MWjF9\q\:6iS.'g@Fymhs' +u|g76p{sS <+ zm(?)eba焿h4$n*p$zV6&m˽UlDw@{E2AB/̎93hLvSih%b@)dz m-m9ѡxE=]ҧ3Gez^A83H+Qű*a4/E=ATräլ|g2)lKv'_ n~268jn7pKJɹךm1޽dn0y,P_H3|FkNXc=貭 ާ j),5;|a q)ǜzHO8EƆ^qbo[Iv$pKEN7@ȊQ;Y1ũe=:>"OLXyң)7$h M" ŧ'\?vZ|.?bIm'C[oFv|zmlWC:-xA;C9Aͮ\" *H̥,Z!xd@9mlFg),ݣI29~6ozn{wDfU}Byw,n KE̝}_Df"ҹ4KkoeWh_VV%P. iK4%MO:`>BrrL(T ]i'wkrf:+Uxx̾;vA+@.FN1Y1VMf ;9UJN&nM4LB݈\,Hxd-v#JU I*hf_*.@Z5NO v4"GיF1/K94@C@wll+"9v~27h|'cACM+Gxt@)Ik=a`tS1ݿ?sXMyFcyPxܫ<TGkjړ8~J3lҽOYNQ͘^z4_Bi=]ZB4o<9 C17t82t b>I{%xeF;@VG*(ezyJ{DL'K3.Kzw̼ \q# vʇ ͦ;|bb0IK/=zfҥ@cqdK47,Y.d.)(>R@yFxBBz.y骉Pa =!U@3~y"| H0qp4_kY ۚÄ~reoU 5晝>T5GY#.81=hkۙV&d!Mf"e1"\H. z(a.=lWMn: -k%2{5Hlxd]@RӤDeQZd(Z oPDd ]jH&w.2j͹m>&~U(tB$k[w7!DI˩FΖؔ`$qY%{+{}+̓5L_pmeBX=݄rna|np-b>ؗ}GH 1ћ[aN!L֎K/qz5o_6OZFk+4q7}3b}.-"gKt.`.E|dkaq9N sHYm@{JկBB@.Cٛ.(ZJr7ؑ@%u|v@O!)7 }_q*o.VEߨ")OSL-jzWR rF_jGIH]ɉ~C' Q]uYքz +B*I'}%{ljҎN~6g dr8Kr?oa2=L*.HQxc\{4Up+Ը*>8%1YoCڃFkpA3{[^Ϊ hQW%VR] 8JBR#ş:4@UF&~:r?kM[` 7DwPx8ӣ8փ } fH޸Yr*bP0p=,.r+f{Jaa-Ƶ[sk^jܙ`D/[#@{Yl3@,U?ib:vCjqQ?%9E~!(x)d;sxUV6E l:x5Pepe'Ca |j k e8w\JE!WF)Q66N3Å& tnG)s2"8 6&^}FX`;m"ꞃIjslI,kd9-a?5տ3jڋ`yh/G()O)|s,h]wK?)*,9 ),<$ENS@63 #0j!^xa!K7bT^;9)*\ bݾZ>7#G#8zmsGū3D "X Z+f'Ct/ gA%B̠Ń9;;}v9cNjp`Y- +%O |VH1tm~>۟cne4CetlʪpUD5C;+=i$DWK|y=lºԆf7~[JAzͱE?nV_Rw cCljpK?K3&a JL'=h5q[S1qJ1hG;Y݆;6[ZR6<4CW(gy`,y_2s_6 hܛZu= A/O-6rxOa]O՟-;,>n4ςd4&n\dڜRl!H jAЍ.,3iF LNLGu-;E`YJ`.̉/ZHmf1;:-#%7scpRt"]FsnyyW!1Qh%|b4 !."Au)צ9{9cL,k[K9+RQGUREUۿRbZzᾋyNB5usF'Q^4ADDtY}\rBՈ53c8lܒ}džZ Kzj[5"F?QJA#l>B8pc`[ukYTo\6݇U+?G\$cPC=Ւ <:yG}8tLz#Af qg6xW?,v7jt#RID׋bBqA] xQptgIWquj("Co3& K5 w٢~ Kz=~A8$o뤄h;ЭXLG"*I[."T.W&c#tVd5WV / ,Y z0[ھiݣtjG=P{ #48{oܣ n}g &Aʞ\h׌0K0SiapA4qДDvgi\@@ D#<[9 d?#<ӝmxy Gʖ-8ݪh(ws}r`ݕĝ@w:1?E(w i x|7QO7@hS>Э2U_E_è>>qe|uss7]-"858*{Y"rD&O>q9&<ߖμ+QdIh&?/)Wh5z–}/߷!wN؊՘T#S04\Rapqu(rkIY9SKpwx=!p|f1lݺߠiGX\;#; v-F+6Q$HJ:yY)F+nhടyQ?W?Axhy|aVF:O3]FbjCԑ=89ok+esщD@S{*FV=+4A+,B-.6'`QjP8RXVqwz5ERڃIa#Ԏgq;Z+CɒG5/Qm'a̳&6YLtnj\jҺ#GGEwm"0HÒ97A0L^̛BWyxZND(tz7 ʏ;8yd!i;(~Ir5_ M5J1q*١yvR<ҩU0ͭ wj Ȳ\dz8 ,Pjxcǵ" YZ-t v)s=!ƒqH[_66DƷRr4TAzRn)Y" Xd"?5a:$KcEC:s.#gbŀMLh|C0XH~p82g: {x@j,Dlꖼ{!)A?@6-J/ԊȯWj GOK09J.P 0F->MysYӖH/AKχi3[y#5𓅀 ?p2ĴT7g 5v4z(Md+yNmlQŖ$\|asDV  YL>#ٖ3I:Ѐք{x:Ʈ4Er9vjC9ޔFn"z?r ]AgmCqtvx2ő." v~VUԅ@'D-`nuL R/}Ri7ECՍ6k-6b>+D $ Ɲ>S7'3Gh1l齁'5K,JyNҒI A/]ea\ &H;WDO̦reFmga$\vp\ɡ{8)s+eMH-KG8*u )ҦuZ R>*_peGl 8`>'kF+Kus5ѲihX 6 PNciRҙ7<ǐ$ͪf]HO?#e2MbAwNAސ-V{]HBdː!Nl3Z;e͡ 4dDCޭj卪ne*w;Vcw.mWOu<.Л ͼu'1a{R T YZ