minisat-2.2.1+20200902-bp155.3.12 >  A dkDI%z 0%cu@,D 拦Vcq&ES{ױC Q c6,Οy9rפ0h/1/^Ȟ^\sB!]3+(^]:{9K1vvE-Yp”$hԔ"]S[;Cb_csAz/_hgNs#Oy3>A1NEzq"]،'JȊJiE ~oosau3kFqi"EPJSJ,B$@[MXDHX'RQU )Zn6 v(/,$hzr9({!^Nĩz2fyXW`1c!{`k7 |iD5G;ϷM*o3 |xv͌doO(ꃗJ4XLdm-.[l#")*?Ȓ|JIFol^OwUh׭Ic757fc8c47d7d1add993e9a9bee9115eecbaf3d6c3195b46f9aea41f79a40ff57959b94c351b5889c84b64c4c4e11832b3933bb5H4dkDI%z 9QgxɞۯM~w`QsA "w/dn?`zNO4,ӺY;_qavef"`} tfִKW>ޗ[ٳgubk6۞3gTr&Y^*@~9Eм{E9{zǪSLyaY,IKM5Ȃj$gWTS1'X̋qg $#Kjc7^O\%u ƿՉ5 $ŅqHZDKFU>5@wpUOׄ4AR|uSQuC'ٔ ki"3,RVfݥBwaD lp6i־JHq9xMc ժĽ;z7'O~6$ۗdh^{fOq7Y1Ix<~(&xEÔ1ѿi`Q#<>p>L?<d  $ /  =FJ d|     2P|U({8 9 : F(G<HTIlXtY|\]^brcdefluvw\xtyz8Cminisat2.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.dkEs390zp21mSUSE Linux Enterprise 15 SP5openSUSEMIThttps://bugs.opensuse.orgDevelopment/Tools/Otherhttp://minisat.se/MiniSat.htmllinuxs390xhXvA큤A큤dkEdkEdkE_P>dkE_P>4fb3ae1770f4ace4e36759613e7dcb73e0e7fa4c31d238ba80d7fc9d272b055e6695a47e207f0bcfb377b01d247f4140ac0b8fae517b427571e0b0ad0ac5da444258eecb86330701adc5ce6132df450a1e117b66d1018c307d901a583f3286fdc75f5063560674728fcfa7b9b291d26a3a8b9436a0d9940eadc81aab7779d62brootrootrootrootrootrootrootrootrootrootrootrootminisat-2.2.1+20200902-bp155.3.12.src.rpmminisatminisat(s390-64)@@@@@@@@@@    libc.so.6()(64bit)libc.so.6(GLIBC_2.2)(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.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 packages390zp21 16847517472.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-minisatcpioxz5s390x-suse-linuxELF 64-bit MSB shared object, IBM S/390, version 1 (GNU/Linux), dynamically linked, interpreter /lib/ld64.so.1, BuildID[sha1]=193ded4fae1a192aeca96743232ba8ae0f22b9cf, for GNU/Linux 3.2.0, strippedELF 64-bit MSB shared object, IBM S/390, version 1 (GNU/Linux), dynamically linked, interpreter /lib/ld64.so.1, BuildID[sha1]=2632fe3fd38603d229e4be83a640e7b6eb5afe45, for GNU/Linux 3.2.0, strippeddirectoryASCII text RRRRRRR RRRRRRRRRR RRR!)iC.utf-8f524f084d9e47c70920e634787e95f0faaaa760d678addf8a1d71718466227b5? 7zXZ !t/;0] crv9w񠹟GM= Bf(tCz_), 3FUY/&ArjCҿsR2?Vt'A kM};USs:RczqTp|KоLY K|0blG )FQOEqζvaR)97^ qo Cj0 /bqA/hj Ŕ|dQT3D+ n5#}Ld^z:D wtȠc`Ji_b(Ɣ󶉩%0V:;M{t研xTf³щ§@L,UۅġKw );ђ/u^;R)K:эhrn\:/.6ޝ-dڃ(?ڌ"a~YsjnI:qI+o#*{oR ;@U/|7r:jv5;F:qߖfA^5y6ND3SFx?[?6aHu39]sb}B<)O.%MŢ8=~r!H('\J7jpĨ}F4?/o|V)r*%%e(+m2u,Plm '5Q'v߼4.H'SrH{.#O`^+Ŭw xZ8]Y4EuQM)}:/W`AKQ/.CBBHFT*8!rԶS-+[,>O2\Ȗy[\meѥBId`VNcrV۳zR,駱cq l^p% |d=b(HnĨO(YQ/bLRo϶OJ.PNdz{3 I|JfOeGw{uG/_^@^oROevM-&^/Pl4eN<&!ccH-IƬN6B Z vhOvk3_Wrϸ(nѯM'G<2 ,aJSVl)r7e>ݞVmņԌx{RT3n37R/گ('k@8LΖxjtBpg \)}WMϏ*3fXY: gAJRu%Q)Zii;[ 7u9Y2j;R̋@I4%i-mn,EWnBv6dPM&-6Tb@'}aȈ\/Yi 0;a _kҵAu\IJtIU( IeG4P1q@eNb4ɬTD95pspm%?ٝn|]FI:,5H(=Uĵ~cd~FφYih_㇜V )/ISh}S:oʈKJ8i# ТO7bfJI+ ͵QgjB)d}w4`bFޚ@.@3ߩ]xUJe$%t/ݱ~TGǎ>gg{bO,=#5I C%q)8^&gV&GSˢ8]&(k'lu(?AiI>t2bNc(IzȤ8/WQPst\*Xwb1tegp|AVOhTkbLQMfW¬D8y T^:8HRҬ̷:ԈӰ[!Z\d,,Obm\ N%` Yz߽'F] 7:kNozKl5q-S=;GTw:Z'Qڪ9v@@X:u+ $>7h&/KT:0?)kƛ.M^s21|Nћ?H'88/r'1*[8 g2[9;"go{Y0G+Vć <3ёW%1|'_ZKfԴ$r{]0WF1V9W@CTTG}1nsB te^tk0䴼Cwf*y>L 윲0ߓ$J]a5n{ 4=˩݌4YzTx.vIy\ LC^>M]0E+h;6J?uz㢺u=So )"4)+7- #~Z?hQ\e(wJ $ᵁݳLS94sM2~>NSq]@;&(= S5/[4 Kꏐզ:$4bk%Pn DPmJN$7`4A&d 5P(6Q=j+ԥ!i%ɠO!sgLp{ҢTO߅>>Kdd3k\p'Ca!,Qpw$WEP]TɑbPMmv̻+VH>_'s3*SfFpo[B|_)}DM cr^Gȩ ,5 WO^Y#O&`{  p j9q{G҂X+M1T[]]Hme|x-) SK{)m,6 iCzy\݆0JC l+%9IY(/m{Vkd¾ >gFxY0Z<| /td)6nquVe|44)Wphr*{Mp'҂S\.>2*BG &fh=cWkeRSV|}~AFHtg+p1He|T u ʋX_}tk6@ mXoh?yLwr'"л¶dW:(^P?_Wp*@wlP%cEġkߵ=9 Nvp dM`Bs\e;.66nP~KZ}X&1G*Ke酘 Xtg+WIˉy:;Tg K KU& f>r >y,y#178[DpPa9.PU y$"N,'򏈏B9| aC..4Wq,^բёdžɳ]2KVjJ,1'`, q >&\QBWGAr> #l؍LViC Ʋ.ni(e?t!'\'7nkmtlQ60"7ߡKm,ȞBgkҝ.C}UԤ: #`:c5@)d,?~uvI?F{3c\Я|aDd^5FZuDjX]Hx6ԸShI=b#@g-9OUJ 8 ynKȐ&|,&Ĭ5)qk7Y!D>""N*sJEr3xM:jY#ڀ _6yL<74fٯ0L%8D?!Цfr zϺaℭ&m ^8uP~A~+@R+r3,%yrzCyN_} ִcŷNtzLk+ .C7.p^ h{y*v-?DL ZY٠DM.O[tXթSr!oUjp 6.PJsOwg#0KB-icFַ pk@ R^- ~ﭑޕ+ncUw'WBva읐/nB|"Wm&7 gLuNq,8!ؼqn=*^ڂtؾ|WR[%U+cԢSĺ,%-gI*DM &d}_Ї,{? _g*黼ruQq!=گ_6d.ͣ͜ B1GRMQ Kk~ %)#]7q# n}@`4;Dh $uk?Wcx گAęI5ʓ4WHoՙ^=W1bgѴ~"qAR"C_c:mѽ5|dX-%Ss{P?GVXK0xfd},2ZsPo xX媸9c5,mV- U\0BؕE< RX?0辵֫*})D=-_>#ޤ<~Ѩy;ŜW,4/J0m8g3Nj1wN"F>?- XdF&6^HwQk(2>vW.ր@0hJ&TwCI:)u@>xTNغ-1+By˳AW BIdD7%_2,/ tV%iE;8zϜvAB+h2xX=跸jk[Ԭg3ObI3c#gYȆ; ;& 06* #Od; qe=jؒi{F01$W`~ _ϰ|i ׂʱˁ9}/M.2CqćjE}C;c3'1w#-4D&)Y>?S'C3`Zc$ 髎|T)e;xHAnM}v!!!'$G͌bIw uJl72\K%5vryVjeE;#9sfFBж}bPIظ IH,EAޑ-C+ι2wCs辩!.+<#zTh!u8rObA me/WB!v eR Zgh4).wT+t;!=E ` y2ͩ;5ݼiꉑ}5GF0qfh#"qOc{bLJM0t}UN;Ʉ =Ba:XCRi<YWg Ԍ}XVSF}1xl >#2 B+Amb7i~%s.<'%"5.)>s4mӠ!%8ٗHz!:(+nK?Ć#5]DKdR>iVkㆿvj!W uxXf0<:b3FZ.WV$PA {RY)E>6Q{y_R H8ESwLAD:|B΅[A0tR¨2L \ ͳZ\19!Ḕ b&HV%W,".Z22˖!2ur*e*027 g LSi~p)~.juMDÙq۴М'hD0 f5 "6{蒀eC4ln'&ݰPKsjSKx'(6LۡMUS"8B9 ;;v?.V5*E%J&Ao}纙0!#qdF %IбppMMtEp4 HX kv 4+=JERI KY!0ӗ)GϾ z l򖼗 pC<;7okULY LO^{mV]k9|8m acpê jo#~"Jw~Wq 9|U mnң :(dn?t rcuG6z lD[f0I%ֶjtYgH 0MqwLB4Z8? :0@_oPjm.M̻\}}>FU ʈ5wvet^xǍ cM.qO8eqIk:avҒ > d_(yKYeˤ\߁pg %[l\[mʙ^>L&遢+pCKO3w\ &l'MX=Cg]FE\ GyX٧ޞ"et9cgI (}nӟB%FGL=J,&`j3̎jaNU YZ