stp-python-2.3.1+20171008-lp152.3.12 >  A ^/=„yN1U4˱)>@\u)q}T"p;&| A;xwI7m3"1,g |" m eZ_#`u(BMھ'>v |SnM#j {&fxykĎ/viP_. e2Gds8ZnjJ6K+f|ÚMUaHrVxa9;*B 85 aF|d6afe0aafd1296fd1253b78ba3c7272d164e91801ab7550353d6c672d4bc11a571891306ea2380969c8ac5c9c6af4874676deb00M0^/=„nf~cG!Ff1^Pd'9sD.js"g5i\8G Mub=S5}3Pz/{Vzy 3. 핂 ^gg7_yI:i x;1p>30?3 d  ' ?`dlp     $  $L\|(68@9:F05G0HH0XI0hX0lY0t\0]0^0b1'c1d2*e2/f22l24u2Hv2Xw2x2y2z22223Cstp-python2.3.1+20171008lp152.3.12Python bindings for stpPython bindings for stp library.^flamb16copenSUSE Leap 15.2openSUSEMIThttps://bugs.opensuse.orgDevelopment/Languages/Pythonhttps://github.com/stp/stp/wikilinuxx86_64YA큤^Z^0^0^056ee7fb811b5bc8d290b901e61f6bfebb809de3be6d77150a10e51d4e74895c4c2dc8fadff0be8108434b03ba3e68f1e3a818180a0fe89bdfc138de6a4bcb2a399502b30d11f51181ccc14a158e028bfedb74cf19db02e0d50cc10d5cfd452bdrootrootrootrootrootrootrootrootstp-2.3.1+20171008-lp152.3.12.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@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.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, upstreamlamb16 15896466942.3.1+20171008-lp152.3.122.3.1+20171008-lp152.3.12stp__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.2/standard/78d15def258d9b7eb7aa2bc935f3f6cb-stpcpioxz5x86_64-suse-linuxdirectoryPython script, ASCII text executableASCII textRRRq%1[Zutf-8653954347d8d2268fa7a7818dc963f4c56a93e6bbec7fd941e4998c2c5413bb0? 7zXZ !t/f] crt:bLL gYO0@pB~F?99p{`rT*,{Z^c{qjqK0+ _UlmD_ܑWRvQf34 ߺTʾBߝٿw}Pu"dC ˲#HmaO;Qҵ,By'`$BE؂O҈I*KLϻَbz:4 SHMZ^s•/d@6?`NxWuew#DY*X6Oi~#[_F4~0 puB9Sv(T*QOPzْtEgq]D5*X*#XqVb:H ZI*sk $yVϖ8}βu:wH3n ,˜0⚮dF&@%Ye9fdɒOtMƾ$P]J6*oќr,ZLj$iJ'yʑz#bu\ZjGo9sA . _lC$di퇛. 8 Ekp_%v$i)c%W(Z_{N/;)tC|ul]R/VG"T@!,RnGdMp12KC]w9":<8[r#"-JhJ~\ڧ+&K#I,,rg>nsltbsBM簸5(n8Јlf~_ >y|z;rR\rR(_":F gWrU5"*?CqYݍ i9Lko-& \+G qKf 68no ܁#{ӕ|Bq Dr?Bx3v_4C+NۣcTFh"䠝}0t;@1% %ЩTA絅y[ ,C(? 0mv"(tu6>aqJ߆<׭؀۟dlЪ㵁SYPޟ׎C* >hAMg\ (Y+҄# ܲ샐Z0f:IA.!mu*6v4##稠|L!Ꮰ^npIQ&ПvyNCSL؆LOkMmNLd x2@+@/'*ptnV"l\!#_GAOh[L"_Zaتn\ ԓ}D(}g5}}ZVl&nֻ]JUxrʃhzMP0-e[$ ܭۇR jxH +g LH̭2m'£'q'alq4cg9o[ӣD*s04d[ØQ.0LPm{y62$&.9bW=b;H|Q[@@ߟS  UH٫7+n<E9t\mtj]ڔw`IUlLdՂeiD3BWgOsIСGZb!4*?7HK<Ҝ؇+~g<EMQ+*:B!WrlC  D?,^^YRq(brg|ʨvxypw+}0Kda#'0,xsB5@Xʮw/zH5'%Flbg'.w^ iJ);tdp+`?]2qV8J=l[0VW_>%S[kD.̲ڿquHuHNV|'̰~tXM|F&K/* Z呂"u++&Y{nCuOaz)f]-e2<럥oC@ gMTF,^W5Z ,@;Ro{ hcBgAЋ$"*ddEd`ؕy->f%$8N\9@/^硵px9-j Jifsƪt <WDŮZA;r*TlmMY('YV}iš7 2U]&ոP gs YISBZ\ XHwE+wߪy۠4eGzJ(>0ʄJnoC(?5m{NG@G A,j9,0cE]|.F3<(kq0d!VO%5_z%PTQ@2hrSbb6EvɈ }ZU, Yb<4ܦEi% Wd/gW-M+Dt&A gÙWTi6ؖڪcv1?uikٝQ . hU8yjYJq]̀FNn/v2S' ҨtTčFN JhiC{1ʶ u1GpZCP I pt*xքhM 3iuǀN/y^'cF3?uaxKqheYܟRxpT):o r@=(;פ8iHyA./S|ً?cm5aR+HȪ+;QtБb8!w =xhazK~ ~GfFnNjB:ɢNGg w1"э7HA{]?< |#̑6wSoE8d3f__j8/.S2{ f c LZMMARu D7]`w:!{}TLVPXuDm*To4 w0 n4!󠆱vkj5rb,n ^W.2^=axFU^ 'T'nQzn g~`%ZhWrĖ7w$^1]vqԾ84ɨ$։KޫN뗦PBF2㳤p,JO%vRdeW3YHXt;0Dh?Թ[pKpYHAOP꬧qU5t{XL{pçOs zSsP!쯲YNI0ß<j@5!e.a@-^6uCi86˸Z7jERCܵt_{X _{h12Ve g8@ZzlV/N*S[Oa '.ҍt =FޥPN Wݑ.T֦Ua$ILZP׎ 9 CvaHZ 4vE+a%84/X6B<f_^?,tRspS,SesMKfbȃr`izay>bxWNKj}D?Q <``5w+;,n-(iσWŎh2],_%}~ 12H+_?S}s3Ul^q3pIU)_74 U7}4r[4Γ/B{JdI89PGE,L%\Ƌ<"=mċ*NPa,)u⶛Llɣd^#"J>:Rt"7RYLfsa<i +P;&,Y0¦w1/SaQsXޅU$QU7=?>A\ ) :N5Yp5#nRӹXԺ'znyB;o0B[Ugv*A>My 3Br=s}e!!7+Fg|Qr uk VG8URtcGL8ܼ_߮R\*zJY/#%dHbRN,1}IM0>iW|Щ$Ъp1#O_q,a[$vA /#s;5نKLf6OW7$.͈=]'ٰl 07?U.(3P~$ZRo7/⩊LqU/S`DUxqRei@DA%B筎MsOiB3L6b4e oi}輹>TKp``Ȥ":!]5Q5wUH8K)z+o-᧑rFy\JDFFL* e)H `beY_ $NyHnj9 (XKx§mXiO^nrh>\xJÙF4,V ۿ iG.̆tU<6eihKX;OE{v^L\ QrH"җ3n5\XJEAs a?PEP3ϐ,WװċdJn8;9<|Q9Oϋ+F$$~5\K:t*M FA9`ZC_ZT_h"'B>G5>'! $] GŇ,] ]Oujf(DY3:l j|P8OQ&ߔ\䶎m*qW~[j ĬDUO}_9N .(ߟתSQ/BL5qj) -*,i/} @h " .E); a95YΨ4Qvw͓qo<3k}tΉYbx˪p;/an}_a]UgU(|k1RbJhVQ^&TI<η_uʃ.cqr㺮XБF,8,\uۏ=IWC cQ >&g:$$ˁJcoܯhEۀ@u.1HQǐQ-BRmMvD\5F=\g4$GVNjyDM#Ughz&>lU%ta$^or K{4t$ K\t?s%4h5\ >T+{ߜ YZ