python3-stp-2.3.3+20210104-bp154.1.16 >  A bxl!M@eee76~& ӱsze"k%~ؑ龘GyF~|=̜G%EzԤ4cϛL>tSbԏG sNޤU2}RoA j$;sms(g^MS1.`=h$Ǻ,0/(=X@ ʔ3R)QX5 5 HLJt"NU%Q! 1p˒hP | Cx~2b8498a07a57438fc5d41271fa2d25ca390eaec4c055bede107ee791d93215f79261efa6ce12ff7921d8aaa8ee6a75b93f4dc9b3\Lbxl!M@eeeNm \܅=#_j|6dX Noafbۊ$r"GF TSϴo:|onNHOm'n2}춘U7diq~hhZϽdRwoDKqZllQlƚA aOltsy R-A`FnE4ǢF$NPk9ˀogYn97|s*/66`NH麻6)l@= *19G H%>y>p>>?>d ( @dhtx    (  (P`(D8L9:pF;G;H;I;X;Y;\<]<^x>y> z>,><>@>F>Cpython3-stp2.3.3+20210104bp154.1.16Python bindings for stpPython bindings for stp library.bxYobs-arm-10vSUSE Linux Enterprise 15 SP4openSUSEMIThttps://bugs.opensuse.orgUnspecifiedhttps://github.com/stp/stp/wikilinuxaarch64:kA큤bxPbx%bx%bx%39b28903ffa396862527f28beeb45a7a9d5d3092e208f6878962a815a420fd07a96235e6561d93e4e4b8804962f367b2b4036080dddc11135abed07e6b61f599e4277e875da03bd93ffed4adc906561ba232bf010469564834780a7ddf390bd0rootrootrootrootrootrootrootrootstp-2.3.3+20210104-bp154.1.16.src.rpmpython3-stppython3-stp(aarch-64)@    libstp2_3python(abi)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)2.3.3+202101043.63.0.4-14.6.0-14.0-15.2-14.14.3`/@__^2@^^]A\q5Yܶ@Y@XX7@X1@X.@X=X`@VXEV8UUU6@U4@U/@TR(@TD@jslaby@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- 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, upstreamobs-arm-10 16520937852.3.3+20210104-bp154.1.162.3.3+20210104-bp154.1.16stp__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-SP4/standard/98fa34a568a861ab607b76c6bf325539-stpcpioxz5aarch64-suse-linuxdirectoryPython script, ASCII text executableASCII textRRR-2B瘁Rutf-8926540e4aa2277ae1eb89f3c179fd29aded3ff34ff90ee9bc36b98252d677ee7? 7zXZ !t/yf] crt:bLL @VpKLSwadl;܁%VS-X`׵)zZ=yvA,ߞq*|ҟH5(+Zjbq)xb"+s%#ED?gDzq` i6*yA/!byT"6t8O?Zd^7R1WE{ 2!/DQYtHCkPS[^K$ M+ޙuxd%KS {x!Bõ"'3pL."Ĉ}EdI =JJu_p4xAOXɄK"`4}~2vK()7kmJ4?A͞7E糟ʚ9$*@C*01cis)%v2J 1Gݠ"WO}oII )`aPZĦt1JaHy<)C KLd-A : Ŕ&ҕN( мßuX2&ڜbbë \nPq: ܝ:(]F(`g>T>+9p&ot6.f.֭!H.vbf=hŸHrA"o-jqSXc^[( wJ.bԒ'N#KLS)˘L,ʅ):Y_͉q>mNtJ#`Ë 0xڦ|㿟՝^'ڈcP&yB!9X~%|`UySp-vښ\]w ֔k4%/;.լˇRǠ$R{xHVN'55e q' >ノ12[W>!fqj\ F<bC=Q=v(HjL#F'ACɸvLn5XLBm<Ep$prZOAj bUv|ɸ o &酾-&g04ٹz{Һl\Lj4hΨ!~n|GCJY}>XPZI!O_`ITMpږ h MRwVMm4k7G'Y%X0c WA ^\kI{d᪼&WvUnwsEo((2r4J7sL<AxA̓f!G5~^(2es}T[ LR]4N@Tpée:6"i\;f( %+Ҋdgpr4Ztt ..Oo/gbgc極UVHt&bsF7~CcԤ+˥eEd j 酁w-9WXΟ]bg h:pVa[D3gƬnK6Mʑ\WuM`gM72ΰd064MwG5WJ~>x[kUlrn7 5-EEpZMyb6# {r lnx'rsH}՜DFKJ]d&O%DY@Ǟ[_/p? ڶ0@V{P7g0I,v>'f]{SΈV%s '"i /tw8s<‚Y5Zgt50,^RYDSz ,lmγ+z^it?Dkv&UH MYh>'>L vS $ߐ# QL>{98 <$,z*E;zn/'D|YPΆb;2:$zBY^'2,@ fM_ĶlTSo3C;eI-ҽ6Y>^V3撩YI?y6te-e> ԰5Lj-RX,]47q"Aܗ5 }BL@^o 1ڔ72җh'XXjp"l#5j=?ꋛ]j,k"1<,lƇ1 wIDD83`ʁe|Kجٕ9"i@* [ B5I#NO˚a%/-v59Ijzb,D)VJ靭N2,}C" X~ŽR ZwuL-9i9!I{ewCۋ\Nj$*@;D11$!8qinmԡK 7$D 98)hR}"M y<9*p/}ߢ-HȈ(3Fzz>0}6_i Z,Z>7iJV\_VzF~[d^]Ȭy)P~8НfܱCjH]S ^_\-!|@|S3Ã`mb[[$nLaITof5}GRAƴ.+4;xK.M.q` Q/lgγc /VYxJ^ ~hRolƫQk#7En.vEtf:SI^=!칥+'XD1[jk3Phq XK]t %{Tm3~Dr>ɝޮ"ԟHbKns9TR(k2VCD #r(Fo>A8X;[-pܢj%URb'5S, Q ȭ5Y& X!u W4LLs< "/uDz*E-~Dw~t w71*Cf:v;,}L٨d(Q%uc4EEBU4y+Wgr13Ϟ `xuDL bBݱ\pS&$ !.&ߖ*gĚapJ.yj晿ZKL;K7 !m-GQl3!{:\Nso Mp6Zsc3t OnQ`yOE@th2WD dFoS чu`f Pi˰LͪHڨͶnrJ?XdjB)E6"V: EB` =;%!qE IhC8^x G:}g ["J,RY%exLy/_٭VR}ħ@:12&/+20uhT vTW`axwb bA8 m>{V㑏 l~4;_hD6NHi[~1pKLOtʞ$i"XP̃{BʚOo0Qѭ sZO镔smF98U~Nwv%a:1`#ٴQ!)&r%^[T@˳NJGXWkuc  ol݋@dMpųC㧝E'\Aс~Q1BośM_?9u&,iHh01SLc]EspgD1 Eꍁ=@i`#Zr6`Lgj"#qjӍbl߼̌w`Cӆ>Feȋw#Ѯa 7v߽3Tiw m+hQSzsfS>ǖػޖ3Fph>Ls\欸9ȥ+)QпF LbmsMJ<ֆXbS8l*?J'@[r#UQ?`sO\ 1o.M.aN|. ň4)-Aaw}ţ&qa]'w彻<{e~ysRg%HAl9.G)?ەmqi:XoV~Ǹ'.+xY~d^_pIyW=xC?< 1.0W,{lώh')Ѭ=φmdNE#?@3mK`Ph " _2v Cƶ鉘oB-n0=]~?lڣ1.C+ y[X `"50K:S9[rc3y1 X[,@he'/[K>#_u2hXɆqj*R-5gZ7alydOAvO̍|=:#M: V`qNֺmOm! 4ݟ>2CkݽtsWl)odSܧntbm`$~Ⳋ:"{$=i$U @ F/]T\H>τ tk迠R ]xmTbeix:C4|RT;+:X?VqCb8cIrIهR -7-@Q< 2UNj1rrTWJ; -I+/tFmoV|"͖2`2H{aYKo~=ZFȶUPt>{\ZԤ9~D,>~G^9>Tj14JY?ɲSb/(6e-7`8)xnIʽ[Na 5ݴ&unD:ae=&Fh_HwO W蹲kx  ݲW){7,r(}ϼoh~DƍFqDy%|#{k\gs;j1ETiJD>3n|K?ѥI)vn&ّųiRdY_%< fH_A42X=bCT:}<yddǗD9Yj^^;3-DO YZ