stp-python-2.3.1+20171008-lp151.2.4 >  A \/=„jʚ LU|1*O4i0 g(@N8Bl I'|,\JY.@NS=4>R\:TIw# 5Auz\#/#τh ãVbRR{?/2 .Zz:GI0Nr'%')_a&Y j:i" g}*bIDjRyUGO.L0η("k ٳ_K92947080b1af23799b517167cc29cabe0f7d7fd699a5bcfe6cab796e20ce7c0a877617ce229819a3c8238315cdf4d405ae668e4aMX\/=„xw)A?Gd,bq0RzCֶq+YRJ`R>>rEiq%VO9ooHHc8.-sb!# Yɋ%;<՞ul8͆uևOLq4De҅~G?`isdxM%%aem׎[,Mռ-h+2{B)nmy:dK;%GhG3_G.6 |w^f>p>3X?3Hd  & >`dlp     $  $L\|(68@9:F0ZG0pH0I0X0Y0\0]0^1b1Oc1d2Re2Wf2Zl2\u2pv2w2x2y2z22233DCstp-python2.3.1+20171008lp151.2.4Python bindings for stpPython bindings for stp library.\build79copenSUSE Leap 15.1openSUSEMIThttps://bugs.opensuse.orgDevelopment/Languages/Pythonhttps://github.com/stp/stp/wikilinuxx86_64YA큤\\!\!\!56ee7fb811b5bc8d290b901e61f6bfebb809de3be6d77150a10e51d4e74895c4c2dc8fadff0be8108434b03ba3e68f1e3a818180a0fe89bdfc138de6a4bcb2a399502b30d11f51181ccc14a158e028bfedb74cf19db02e0d50cc10d5cfd452bdrootrootrootrootrootrootrootrootstp-2.3.1+20171008-lp151.2.4.src.rpmstp-pythonstp-python(x86-64)@    python(abi)rpmlib(CompressedFileNames)rpmlib(FileDigests)rpmlib(PayloadFilesHavePrefix)rpmlib(PayloadIsXz)stp2.73.0.4-14.6.0-14.0-15.2-12.3.1+201710084.14.1Yܶ@Y@XX7@X1@X.@X=X`@VXEV8UUU6@U4@U/@TR(@TD@SM@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.com- 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, upstream- initial commitbuild79 15528108922.3.1+20171008-lp151.2.42.3.1+20171008-lp151.2.4stp__init__.pylibrary_path.pystp.py/usr/lib/python2.7/site-packages//usr/lib/python2.7/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:Leap:15.1/standard/52b4c9c1dc2cc41a9954539049dad831-stpcpioxz5x86_64-suse-linuxdirectoryPython script, ASCII text executableASCII textRRR*x92H~bO_utf-88cccb109da84cba138dd6c1aaac201a3f2d688bbb413194fc0c7c1b927077619? 7zXZ !t/f] crt:bLL tSwtd2Y~3 }2o~wm|< }~H5J@ i3c,&QOUG=8M,\ZaEF;`fxM &7 Z'wdڢ3C}pt k_ho|ݱ12~ǰݲ`n8}(ZLZg$u0iZ% HuwT.CE_ZP+Z nJ誜Z7^!|<G8`_d"T|Է1L˶$ |iUbzBuLy_os*j[8plKl}fߏI8:,k{KshR7cd[9l㷭 UMcHOh8 zed f?3̺O'<5YLVXXkb]vt=+v^g-:g4tx(ӟV~.{Zy1pIzW]Yu(^Yڶ50.T,Hx}.?6а*hh%YtfL5xpc_Ȍՙ@'W_(9FU[5m aznَL̮jvB7[ėYWήѩ x;|| H7*'ZN)[ERlد(z2 ernhWrsܡH\n8;U`ڐ RR!9>-CSN:h3Qkj`jmKhU{rȎҫ6i b^I%p\wxܕyvO׽X[4G;pYr赴!5 \t،""Q'v~1(ThG?Gˑc*.|D[^&=Ւ thBH\hx̚k#pt^Z*~0<4F{T_Lst~'_H^/KgT7ZmFMu)J0ƌй~Z)KjD;Ů!HjpIlZ&Y,s:Z6_I ai#z /®]a8]{qp]K(y5"Ď"U@>{8H'؎oӦϼϫFp2iy̛P𩔙Rϭu{}}3 " tcEEbp!ܡ0B_VKG< }Cm ءX] iexj)f TB7JaF5evUKgԞZO7afGj?M;hf @Bh&fѶ=Gxz6?(yՄqvD}>GMȥ^]֜RK@:Ppq/@#%-E7zgC## $^h>QBuZr{[% `߰62x%xlםcc{dD[&6[^_Dk%A*x^rյG#ri=[B Se$;ul]Z@.jLk$ ^p4 l ,*T8!VZ ^_[S[]tAFY"WJ92܆־ =+3WBE/ wiC~}be2jt;/rb!)5o-ܱTMe揔ӑ^v37U,BJoSa@~ ^hJ<*Š4b͗,`Q]u;!8t<Wʳb^6j2 ͥ`U: b_jvJm`H^#$q @"Jsg1ڢfRsez2T3bp]V%s!$@bR_q4NqHds6u9|?q@!# wӭe}H& iYn}^4\ju>wD q}u5fE]hVOm ? =`=QoBQ\cz:Z,d; jR.ʐml3 ]Hde, ndC߾UŸ!9|5mAqOdѲ*P/mq9Gt~ i&`f=ѮJlNpDX>,s.S0 4PVQQWRpU'W"ҟB̠8߰}KlaF=^Z%@Yk=Ygђd-9T ^Bn8Ʊ3wkkOxRh & Ӈp8W7`-*׌y"۸Pcs3po>R"il얜FIP&Ci`QvavQü@3@d %EbFH%b=8EY]e-,WX;l[)[#)5(9yK.l=֎k|k_dOIVA|6f恈58;VLI1|U|ӌ ? ΰL/61u)PQgxn*,ʸ_51%+ P޾n] (%ڳ`4SHdWPA+YQz= $Zs ~6ަ:'EʡE3+f &Z4SU h~[ѵ#"34~1ºM5dy3I馘Z">L*ZũdA~? ? pJgu_ m>3ČH:u]d 1x1,ON lěD^]|Ar҈Js=1AKrIRTs\3x83]WNo{?)_ha0pܘi ZIuZyqx,X h@R'7@~BOY9>x*C8""%1i\7cnp'KtdY1$O)~P3$ 47wޕMAUJ ~ $v%vAMC'M5T`]n@Nv#2c*Cn/< 3OfxcBԄ2'wzFɬ@ٳ3JW@;r!i^Q?L]aFs؁ -rU3 ~ڗiIXy֥ R4 %FI~Y59֝K5 D+DAzl&i!HlC*)]\9 vS!ov'A$Pʪlª()%{sMXWe=Za{:Jgu"qo*88l9Tg m1+Zb(+̙.b]wnuaޡXPq:9ꂷQHڜ{ݧ1f$ =j&@&3\R\!Pek*;J+݂{FBXogxs{b5O9v< tCޙժe^ey%w ፪|8E+k}**_1A: 1]Zp WdgiEb].)'ߍ*@jAؘ mS<ÎөyvńgXj}N:۳[_ TW%Q#zqO <*V5do,&=O}^ nR B:&*j@X{E \u55;T˯l?ԪoL$KVKZ>a5>b~\b]VnMAّ gӯ>g =ঔ ҘqDžzN >ocdWh)} `;\N=V^҇vm Y/|7 81StZ~@޺Y:LSuURvNl/^g '12Q#pStۛ?[ GgTFCU 0vsRX9З37P;fGɟFtܚ:\~sJ^|uriLe,7D O*XQ.MC_["94{ɲ2K@0@kFv |=S+`^d%WkrRv\תFQ-ظ-P&h ./hiW,B\ier >"2ߏi߬: UwAmF@ +U-'Jy?цBjW9%IxCYRZ[H &/!|Ȉ]`s>(6jBQ~Fn/l|^?@!Y/Q`!##I\s#WJA,XAT\_ 5,NgIĈCF^Ք:krE}M/>MY^u~2A+K$BhOIEs EZV^lc W AC6SYs_2Bd;HbwYaEw pq