python3-stp-2.3.3+20220722-bp155.1.7 >  A dkCI%z #oInH6laÃgl$?هsOlGy h;怏] r\I:# tuB(G$e\(GrLe~C|DXQPwqLXo*b߅Μyd%dn!"ݘV)Ӊ|SԚ872Dy5kd!",XùsE݌7%D&LMF^y[@8`EqsUHM(SWO-,s$=r$ .j-ZM%|hבF=pl/GR*Sk]jUH01276fe0d2ed31a73a15d17cb7bed6ab99dd43a42a6d10c1a0eba5c2e3c8f4c5bc0ec3bee08f886cfc12eb25e019d0eaddbad588f܉dkCI%z PjvF]LîR5$$ii\ן/rxHP<Ȅ,yt%aXD. j cQv]*`R2ldTRr'D=&N+R3YPzų2B# H_̻nS?ߌ0nIQ ܙSEAga2Se LG'b+B挷R3d\$=W1 c KC8@zCgd"|}Uw}5s7;Z)os#r(LM˿coN~Cs,mdWzJ6򯁖Н(ER<7ҙH!5"#6ڜI{e"AYL6Q͸+_=F3)O04Z0pXV-VIBLؖ; !8W]&u51{W4<)W^JQCvdVy>p>I,?Id ' ?`dlp         HXd|($8,9:FF@GFTHFdIFtXFxYF|\F]F^FbGcGdH%eH*fH-lH/uHDvHTwHxHyHzHHHHICpython3-stp2.3.3+20220722bp155.1.7Python bindings for stpPython bindings for stp library.dkBlamb58vSUSE Linux Enterprise 15 SP5openSUSEMIThttps://bugs.opensuse.orgUnspecifiedhttps://github.com/stp/stp/wikilinuxnoarch:kA큤dkBdkBdkBdkB39b28903ffa396862527f28beeb45a7a9d5d3092e208f6878962a815a420fd07a96235e6561d93e4e4b8804962f367b2b4036080dddc11135abed07e6b61f599e4277e875da03bd93ffed4adc906561ba232bf010469564834780a7ddf390bd0rootrootrootrootrootrootrootrootstp-2.3.3+20220722-bp155.1.7.src.rpmpython3-stp@    libstp2_3python(abi)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)2.3.3+202207223.63.0.4-14.6.0-14.0-15.2-14.14.3b(b@b{@b1@`/@__^2@^^]A\q5Yܶ@Y@XX7@X1@X.@X=X`@VXEV8UUU6@U4@U/@TR(@TD@Jiri Slaby Jiri Slaby jslaby@suse.czjslaby@suse.czjslaby@suse.czjslaby@suse.czJiri Slaby jslaby@suse.comMartin Pluskal Ondřej Súkup jslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.comjslaby@suse.com- add CMakeLists-use-absolute-libdir-in-rpath-handling.patch- fix rpath (don't use relative lib64) - switch python to noarch - Update to version 2.3.3+20220722: * Added reviewer's suggestions * Fixed the broken link on SMT-LIBv2 documentation. * Fix cli to disable new simplifications with --disablesimplifications * enable sharing-aware rewrites by default. * Extra simplification rule. * re-enabling removal of BVOR to evaluate how important it is. * some more simplification rules. * Improved simplifications * Faster/better Always true identification * First attempt at sharing aware rewrites. * Create 100000... * Nicer implementation of Always true. * Remove the unnecessary use of a SCARY iterator that may break on older compilers * Cleanup memory leaks. Nicer signed comparison on unsigned interval. * Nicer domain analyis. * extra test case for strength reduction. * Strength reduction now iterates through. This should make it idempotent and deterministic. * Make the new PropagateEqualities deterministic * Find non-overlapping extracts of variables and replace them with fresh variables. * Changes to how domain information about bit-vector nodes is stored. * and some more.- Update to version 2.3.3+20220507: * Don't save a pointer to node factor in case it gets updated later * Improved pure literal removal and unit test * Simplify less than one to equal to zero. * handle more cases and better testing of simplifying node factory * refactor. Clean up initialisation of STP in a tool. * Make initialising STP slightly easier. * remove some more default functions. * refactor. Remove substitition map out of simplifier class. * Remove a flag that wasn't read. * Remove a dead path and the associated flag. * Refactor. Use node factory rather than STPMgr. * Remove simplifier from substitution map. * Make more things private in Simplifier * refactor. Moving some code out of simplify * deleting some default generated constructors- Update to version 2.3.3+20220314: * doc: fix typo * stop aig rewriting if the number of and nodes doesn't reduce. * Add command line option to control whether size reducing simplifications fixed point. * refactor. Order the user flags. * remove unreachable option * Enable the setting of more options via the command-line arguments. * fixes 421 * Trial assigning to flags at definition time. * remove unused includes * Fix. adaed499e3d24bcf906852a6c428df07b5a6cee2 shouldn't have turned on flattening when simplifications are disabled. * Fix. Nodes that are complements shouldn't evaluate as being equal. * and much more- Update to version 2.3.3+20210104: * Creating an API to get the value/index size from a 'Type'- Update to version 2.3.3+20201027: * Ensuring that we do not create double frames when creating a new frame; closes #385 * Fix build for minisat, using stp/minisat * First look for installed MiniSat, then the built one * Fixing warnings by GitHub static code analysis * Allow finding minisat through CONFIG first * Create codeql-analysis.yml * Ensuring documentation consistency with the use of semicolon vs. period * Correcting double backticks in README * Updating README to update build steps and document how to run CMake without installing STP's dependencies system-wide * Importing the latest 'GetGitRevisionDescription' CMake modules from rpavlik/cmake-modules * Ensuring that all CMake targets are correct to support no-op builds * Updating code to use C++11 autos for readability * and much more - switch to obs_scm- fix build on 12sp5 -- define Python_ADDITIONAL_VERSIONS to 3- Update to version 2.3.3+20200113: * Fixing tests so build doesn't break * Removing slow running tests * Better support for python in build * less bad model printing for arrays. * Change reference to Minisat repo * extra little one. * Removing tests that take 1 minute to execute- Python3 bindings subpackage should be named correctly - More modern cmake macros- build python3 bindings + patch py3.patch - drop dependecy on python devel .. not needed- Update to version 2.3.3+20190713: * fix #330. * Partial fix for #330. * Hack to get a smtlib benchmark parsing. * Decimal output is incredibly slow for ~30,000 bits. * Timeout tests are way too slow, removing * fix. wasn't printing success like it should on some smtlib commands. * -p will now print smtlib2 format models when the smtlib2 parser is selected. smtlib2 models contain all the variables (even those that can take any value). * don't output a model if it was unsat. * fix boolean model output.- Update to version 2.3.2+20190222: * Don't cache data in case of error * Reordering riss library, maybe that will fix the issue * Trying to fix appveyor * Let's see the output of RISS being built * No need for rdynamic hackery * It's best to name the library target "stp" not "libstp" * Fixing using _ROOT variables * Adding compiler options * Fixing the mess that staticcompile was causing * Fixing version-number based issue with the Docker image * Removing gcc extension of C++, not needed * Let's fix up Appveyor for static build - Note that the build is fixed with bison 3.3.2. - remove 0001-CMake-fix-dirs-again.patch, in upstream now- Update to version 2.3.1+20171008: * Reducing scope of upper&lower * Using $() instead of `` * Removing unused code * Removing unused code * Adding docker file -- not working yet * Fixing install and library location RPATH * Updating README, fixing Docker * Fixing static build * Removed unused global variable * Provide thread-safety (if C++11) * Removing tests are too long and hold up development (>10s runtime each) * Cleaning up lexer * Cleanup of smt2.lex * We can use straight-up "thread_local" here * Trying to fix the thread-local storage for C * Mark two more global variables as thread_local * Updating READMEs * No need for this parameter in AppVeyor * No need for INSTALL, it's been incorporated into the README * Updating README * Fixing indentation and some restructuring of README * Better naming of header * Removing DLL_EXPORT on variables that break the build * Using the ctest framework for testing * Actually checking things in tests, reducing their outputs * Making the interface's (vc) more explicit * Removing trailing space * Tabs to spaces conversion * Trailing spaces removed * Minimal cleanup of the lexer * Fixing std::endl -> endl; * Commenting out unused parameter * Fix indentation * Cleaner lexer * Highlighting where GlobalParserInterface is being used * Fixing the assert * No need to undefine this, it should work without * Some cleanup of bison&flex usage * Fixing moving of header file * No need for linenum * Removing helpstring * Removing unneeded files * Removing one more static variable * Reflowing code as per agreed clang-format * Further cleanup * Removing unused code * Cleanup of tests mostly * Making the visibility=hidden work * Don't care about coveralls fail * Fixing AppVeyor build * Fixing the coverage script * Removing comments from CMakeLists * Fixing ARM compile issue as in new libabc * Adding SUSE build files * Fixing fuzz-testing to use python2 * Simplifying the Docker usage * Fixing the Docker example - add 0001-CMake-fix-dirs-again.patch- Update to version 2.2+20170815: * Removing broken link * PEP8 + print function in fuzzer * More correct printf * Fixing double-declaration * Fixing memory leak * NULL-ing ptr sent to DELETE is now automatic and more meaningful * Deleting buckets after they have been used * This will fatal error anyway, so just use the pattern and return false * added support for MSVC attributes * disabled crtdbg.h inclusion in extlib-abc for C++ debug builds * fixed unistd.h dependencies for Windows builds * added missing include directive * refactored gettimeofday() for Win32 * Adding appveyor file * Adding missing appveyor file * Fixing paths * Adding zlib for minisat to appveyor * Using minisat that's been fixed to build in VS * Better comments in the AppVeyor filBetter comments in the AppVeyor filee * Temporarily disable boost * Install for appveyor minisat * Fixing "libs" to "lib" for minisat * Debugging MiniSat finding in AppVeyor * Debugging Windows build * Debugging Windows build * Debugging Windows build * Installing CygWin * Use 64b CygWin * Trying a different way of installing CygWin * Fixing CygWin * Fixing local package dir * Fixing CygWin site location * Adding CygWin prefix path * Fixing some warnings * Fixing one more signed vs unsigned issue * Suppress warning messages from msbuild * Moving implementation of destructor * No warnings from msbuild * We need ZLIB in STP thanks to MiniSat * Warnings cannot be suppressed in msbuild * Trying to fix Boost in AppVeyor * Removing unused cygwin install command * Fixing yml for AppVeyor * Removing a warning * Fixing signedness and unreachable code warnings * Removing useless comments * Removing dead code * Removing more dead code * Fixing unused parameter warning * Trying to make symbol-hiding work * Trying to remove too much warnings * change semantics of division / remainder by zero * fix bvsmod-by-zero for negative first operand. * Adding constants.h that was missing * Removing unused include * Revert "Removing unused include" * Fix simplifications rules made incorrect by change in semantics of division-by-zero. * Work-around another division by zero semantics defect. * documented the entire old C API interface header with doxygen comments * Try to get clang/static build passing on travis ci. * Try to move from precise to trusty on travis ci. Precise ends support soon. * Revert "Try to move from precise to trusty on travis ci. Precise ends support soon." * test that static binary is really staitc. * Fix leak introduced in #f452c0e * Trying again to upgrade to trusty. * fixed DLL_PUBLIC-related linkage errors * Trying to fix static clang build * Renaming clang static build * Renaming build type in Travis * Trying to fix shared/static library building * Updating static binary check * moved DLL_PUBLIC definition, added __declspec(dllimport) definition * Trying to fix AppVeyor * Trying to fix Appveyor -- wrong staticcompile check fix * Importing Felix Kutzner's fixes. Thanks a lot! * added declarations for ..._scan_string functions * Fixing boost library include, thanks to Felix Kutzner * Some obvious fix for MSVC compile * enabled shared library building with MSVC * fixed DLL export warning for isatty * no -static for MSVC linker * Testing more of clang * made the Python binding build scripts usable with MSBuild * re-enabled DLL building with MSVC * Adding an empty global to compiler clang * No need for CPP11 build check, Trusty has CPP11 compiler * added DLL_PUBLIC markers to the C interface * Fixing Travis build instructions * made the query-file-tests usable with MSBuild * Fixing the environment for clang builds * Fixing LIT issue * Final fixes to static compilation * added DLL copying for tests * forcing gtest to use the right C/C++ runtime * added python to AppVeyor (for tests) * Just use CryptoMiniSat from GIT, it's more stable for static compilation * Better visibility into executable files generated * deactivated boost in AppVeyor (not supported yet) * adjusted lit tool path * Fixing cryptominisat GIT link * Fixing clang build issue * Adding build SHA1 * Don't specify makefile type * Trying to fix KLEE build * Fixing static binary check * Adding clang static build script * Fixing tests for static builds * All builds should run "make check" * Debugging fuzzing * Fixing Windows build * Adding clang build files * Fixing static compilation of tests * Fixing local build scripts * Fixing python test generation * Fixing cryptominisat selection in fuzzer * Debugging fuzzing issue in Travis * Fixing directory of build for static CMS * Building all combinations for gcc&clang * KLEE doesn't want to build, so let's not build it * Don't build COVERAGE using clang, it doesn't work * fixed #253: DLL_IMPORT in c_interfaces leaks API and breaks installation of STP * Leave an empty line before "exclude" in TravisCI * Specify OS for Travis * Making python build again both for Windows and Linux * removed unnecesary include of in c_interface.h and moved it into implementation * reverted the python interface build scripts * enabled tests in AppVeyor * added the not tool (test dependency) to AppVeyor * repaired the installed version of library_path.py * removed node typedef in c interface * fixed bug introduced in replacing all the things * replaced 'stdX.h' headers with C++-style headers * enabled building with boost in AppVeyor * improved AppVeyor build time * Playing around a bit with build flags * Don't display test output of LIT, it's too much * Adding some comments to AppVeyor * Removing unused variables * Adding EOL to files * Using $() instead of `` * Removing unused code&variables, reducing scope * Removing unsued code in TravisCI * Adding badges * Fixing badges * Adding coverity badge * Fixing potential memory leak * Code cleanup * Revert "Fixing potential memory leak" * Fixing Linux build * using a single output binary directory on Windows * removed the pre-check target * fixed the python binding installation configuration * installing stp.dll in bin/ on Windows * parse license directive in smt2 format. * fixed output directory setup (thanks @delcypher) * made python binding paths more platform independent * cleaned up a fixme comment * disabled test execution on AppVeyor * Adding explanation to option --output-CNF * No need to build CMS's python interface. This will fix TravisCI * cmake: fix ENABLE_PYTHON_INTERFACE option * Some improvements in CMakeLists.txt - Enable RPATH on MacOS X: the STP dynamic library can thus be found more reliably by applications using it - Do not search for Cryptominisat, if NOCRYPTOMINISAT is set to ON - Added configuration option to disable Python interface (ENABLE_PYTHON, default ON) * [CMake] Fix #192 * Fixing cmake in TravisCI * Using auto type * Don't print cmake build&install to Travis * Use ccache * Don't cache in AppVeyor * Making cmake with 2 cores in Travis * No need for the cmake config in TravisCI * We only need the python interpreter for the tests * circumvent Xcode bug with CMake's TARGET_OBJECTS * Using a cleaner way to set C++11 and C99 standards- require only boost-program-options in tumbleweed- create libstp2_1 for library as required by policy- require minisat-devel and boost-devel in -devel- package also stp_simple, needed for cmake find_package - Update to version 2.2+20161105: * Improve performance by creating fewer strings. * GitSHA1: really disable timestamp when requested * ASTNode rvalue reference assignment and copy constructor. * simplifier: use abort() after assert(false) * bug fix. * (1) fix building. (2) make index width / value width out of the base class. Saves 8 bytes in bvconst. * Might fix the issue described in #235. Missing dependencies. * oops. fix build.- update to 20161028 - remove simplifier-use-abort-instead-of-assert-false.patch - remove GitSHA1-really-disable-timestamp-when-requested.patch- update to 20161005 - switch to ninja and %cmake macros - disable timestamps - add simplifier-use-abort-instead-of-assert-false.patch - add GitSHA1-really-disable-timestamp-when-requested.patch- update to 20151122- update to 20151030 - package AUTHORS and LICENSE- update to 20150904 * remove: AST-simplify-FatalError-and-mark-as-noreturn.patch- remove: fix-no-return-in-nonvoid.patch - add: AST-simplify-FatalError-and-mark-as-noreturn.patch- update to 20150828 * drop one hunk from fix-no-return-in-nonvoid.patch- update to 20150418 * remove: fix-install-paths.patch * remove: no-build-timestamps.patch- update to 20150415 * drop one hunk from fix-no-return-in-nonvoid.patch- add no-build-timestamps.patch- update to 20140928 * many fixes * remove-broken-functions.patch: remove, upstreamlamb58 16847510952.3.3+20220722-bp155.1.7stp__init__.pylibrary_path.pystp.py/usr/lib/python3.6/site-packages//usr/lib/python3.6/site-packages/stp/-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/b07bdf457f51f6e51fbab633f40d71dd-stpcpioxz5x86_64-suse-linuxdirectoryPython script, ASCII text executableASCII textRRR~TCg<utf-89a542803eeba96128b747c0638e2cc131e4a0b95d62f93808345c0cb1252639c? 7zXZ !t/yh] crt:bLL ؝-D )ɟ%޵62h^PE3ׂ<7ZmEl-#i4W]ǜ\w߀۫ 뗌{Lt护^vr̈B1Dv8YGu-~A/ZNQ@ ͰɤZRv(wfleE \RS^ R"=F][GsX=na[3ZprF19IfĻw }7T{*0ԣ28~ +)HH l1葴Ff4{׬5ZN8z5c$Jl%ﮖt#X$7U,NF702 C\)Bσ6p^xD(ӆ'mo& kU~/e?9pz|-5;n-rig~ߩz5pyW:JЅ>D_)e^Ƿ/[2P0dsLz(G/f\nFb_KخT^E~#qL'wJX&%{I[t|EdR3MM0 R.#7;ٷ윴R;8qҲVg3tZN=t̖c@ޯaL\!7)>= 눉Q( !{S)#!ߣ2Rr646&u])jrӚd߳*>. ZQ}!`oP+xeZ#6x=uBe,+obKÜ c74/KģXǩҗ! 0vJANN榅_=c7Rž7i"IS 0<>&GC=yg'ˁԹwFzl2gv Pnp]GquO.7.3 Vё8%XfZ+&C#)ٓQQJ҈f/bM`Gݮ{BmgD9.XQ5/͊&4'IڵVHޭK7?lx5rX "Yulgouj+ PJ `hr)C(uU(,e`-_OE͓U= *|Ջ w4#Rh%d-6Ja{l6rn8ZI ^؝9ٯx/_O{{:ݷ<`֍g]=cBfk;S}R)k _>5T#dW .}@_֫)^0$T.U Hr\]jS@3% bi GՃZ&!ꇜC3,0"݈) \h¬w- 록D!]iV~"ZU}ԪQj?şÖ>?}Ӕ ࠇaېhK|Ms nb#?^d<Ţ1?3Lnh!_;bwov!}kv73~erjGΆ bDoRsKH'\ #ˣ@aۖ|̤M~}Ԯt7f??I{{DG_U**pˤt@[0pPd?w>PAN1j躲Qm'6i5gL7`O*lZ* A Av}Z˚}pIǮZ-d_a⡁^ ۖ@+n%cmlOu~<4V/5Q %$giasm2ݠisُ)I[))$*nrl*wrD/uw5tDuiI)IǧIMGl 3L0Ӫ.ͳXRGwVdpC&lQ.!M l.3er3s9N@@t;WV"MI#m)f^gԨqa}9ATtg/0ˆ(fOW_N 4ϜEc*,8{P&X1 #y11gREr5o՘3Y#ԋfj2 ,jeܐ?Y"duLVΨxSoA `F>sBaQy`dhqisdl ,R3+eiDNya8dTxEM+?jGl͂,iXJcfh qݿtXPG!S'jsf{LvU3k8\P@il:xG'U+`w}$vwcΉ`klBDjYnCE-tkv0>s In  Wo.-iHcAs+\"éW-q2&Y4dI# oi"Rc7)*c3'0( ȴF qB][w6P]u!-9)tIkjYNHUf ~@M_\Y%4OW*NE*祦Z Y yxR5 3 E^oѠȃJg~jyc\`~0 &qHܡ< ³otZ6r2;l vm]ltEQ6d,Uh;%$Mo>כ'C\J`jaգPh=_er@q7)* bYbW{]!NJuWTDdn,eDˁFoG0Rt0mL>_n$GZc1X\\wlbJ/ja揇-UA;D=2Xۦlښ<͈B ;S2mnᠽ'͒HʼE]s\7YP'ucu :PrY{,*<;7jTL˚gjW)h}-~%LMZ٘rC k(@c Φ_{B(dYGiME$6֞ <'fxNCme,WgEN;$E6Dkb SSbd[dtxT&LDsa^q>~`JmL0q& OocSVɾho*lY1p?=0_7bl!|1Z6$W{d$quUA.G{mf[4bmECOw'?AQJ&aQ$w[0L̪]i`K_t&&"`z# &f<8U\_P;2z7MڙbS~ǩ8ízZ3|/r:Xۿ@Hw GP-˜"M s ȵb] NG``RVU4 LOWz_h~mخ6!4y)@RYkajnJO`M&o_J(>l/)ݱZ)Vy(^ A-<+X^i\+׆B]'7#oW!o! W1Vn64}j$0`{ 慚Gn61 IgP )+ Jn4yJktI8\w|QzL*|z4y{CfB.Wv!'"UY'bL t:j?Vkrlq'퉆&$GI ",!=膑C⌧*YT:,5+d߿ JwF.F^ u䲼ckBIv$norc Em{'k0Ұ#՚=!@ÛQ 98ˤk&#)}Hmx`_fă JeS$D,l-?2&w4pP#6mSa]vgwrCx}Av|kDGYiDR#o`mT? XHÀ'y@o$b㺄&ؘ2W>ȞqGo,XסQu ʛBDNGQ ֔\sRBl@*B~kcQ-Lh(&2s+? -S^0d]|)%%{r7z\VE# 1j+}?-]9/Wsxt%]~Ls&' !+n)ߜdXqΏ;zN -WdyAiHgggl4MŐ9uzK1D(F4c]qrR^,Hk%pM0 iIGK48zuuz o{fjb7K \m_LbJkGrGuEөtZqKBխ:#e}4HBR??7c"B]p?wG9wZ&2FNC ̻ #ަwbpNcH=8/?2l ;LdԪ$#='57Qpk[rY34<ϑtF 3J^$9 '180]es]S)1,].Q;MZ~07}I8ϛ9Q 厴BFqa)#H?ZsémnpgKyzHL>;5H;aA/ ak? `nT$<*PtfmD)MDZWUtٜ6vM:. tee"dwzׅ-WzEuЛ0*c|Ү*DQ:s62N㸏s'>{B a1Iĩbi[hFDV\ψxDI_շc#P1 7`nWcxb;]?(^)Q{Sm~%چ|23aEw fSDLawL9:ثP[劓m%Ws>xv*̥8?U$\cG)!۠mSV}ƙ@UI0S<5G1(z6Lf9?di)7_= .kbpv'#kpϭ5Iއ GДǶn:I2StATeVU30 YZ