Wheelodex » Projects » yices

yices

View on PyPI — Reverse Dependencies (1)

1.1.5 yices-1.1.5-py3-none-any.whl

Wheel Details

Project: yices
Version: 1.1.5
Filename: yices-1.1.5-py3-none-any.whl
Download: [link]
Size: 72367
MD5: 9de8639754b6041492e6850e7a6b9a3f
SHA256: 4a3c2efae6c917f9215b367a028364958e983eee0e897653a7bc9bd483b9c950
Uploaded: 2021-12-06 22:27:48 +0000

dist-info

METADATA · WHEEL · RECORD · top_level.txt · entry_points.txt

METADATA

Metadata-Version: 2.1
Name: yices
Version: 1.1.5
Summary: Python Bindings for the Yices SMT Solver
Author: Sam Owre, Ian A. Mason, Bruno Dutertre.
Author-Email: iam[at]csl.sri.com
Home-Page: https://github.com/SRI-CSL/yices2_python_bindings
License: GPLv3
Classifier: Development Status :: 4 - Beta
Classifier: Natural Language :: English
Classifier: Intended Audience :: Science/Research
Classifier: Intended Audience :: Developers
Classifier: Topic :: Software Development :: Compilers
Classifier: License :: OSI Approved :: GNU General Public License v3 (GPLv3)
Classifier: Operating System :: Microsoft :: Windows
Classifier: Operating System :: MacOS
Classifier: Operating System :: POSIX :: Linux
Classifier: Operating System :: POSIX :: BSD
Classifier: Programming Language :: C
Classifier: Programming Language :: Python
Classifier: Programming Language :: Python :: 2
Classifier: Programming Language :: Python :: 2.7
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.4
Classifier: Programming Language :: Python :: 3.5
Classifier: Programming Language :: Python :: 3.6
Classifier: Topic :: Scientific/Engineering :: Mathematics
Classifier: Topic :: Software Development :: Libraries :: Python Modules
License-File: LICENSE
[Description omitted; length: 31 characters]

WHEEL

Wheel-Version: 1.0
Generator: bdist_wheel (0.37.0)
Root-Is-Purelib: true
Tag: py3-none-any

RECORD

Path Digest Size
yices_api.py sha256=BM4sSFXXBS_mgfu2TkRdmxk9hc1OyoyeWixSn5LKiHw 201824
test/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
test/context_test.py sha256=5bkLeDWG-nH5RExIDNrLlznFoU_Zw93lILa1NEJQN_M 3397
test/delegate_test.py sha256=_xBjWi3WoRiw234oK8Ieh4U-UCXb0f3wrDr5QCEvKJE 3254
test/dimacs_test.py sha256=G4jHM9e2xw7XdU8nJRCpaQaxCSX834_9Q2EoA5jjPeM 3571
test/error_test.py sha256=ELg9szdBbd9Ow0EOcmfm0FUjajx0EjzyUc94yGt9N5I 1404
test/interpolationcontext_test.py sha256=jFZ1Y8lqIMawt1t0UC3SAmKRbPlY6G9qfxXJrdoPDjw 4121
test/model_test.py sha256=becQrD5WYwnVtWozaoxd77wuFTMeMcWxRDNXEQRiI3k 10757
test/terms_test.py sha256=H20dv2rS9mRePSSaSRhDcdI-jrQ1E_e5Myh5qSnaJKo 12699
test/types_test.py sha256=UK8DzTTclaJprdKzp4n-vCpyHIdsGQn3zrPEIKiLyIk 2251
test/utils.py sha256=Do8xPktU75zohdKmswXwpBDzFwPAiyAFtw3xj9HyAvw 1183
test_api/__init__.py sha256=47DEQpj8HBSa-_TImW-5JCeuQeRkm5NMpJWZG3hSuFU 0
test_api/context_test.py sha256=NQWHmbTpvKOhooTN1DyoNJbtLWYu1VY9xBdNP7VvSig 4178
test_api/error_test.py sha256=VYZMZtQ9t-KJA12tJc-g4qlNN1Sol8Svmvwr8i8HiQo 1569
test_api/model_test.py sha256=3GCvdzSUjuPVeiFdFrSvoO_lZr_p_sHztivRGgeDk4U 26939
test_api/terms_test.py sha256=kMx1842_1Ln3WvXrkFl--aL64PoPNEPGB74op3nXVSA 18021
test_api/types_test.py sha256=y-JQhZJG_rVveCmT7ifjIWV--N8Pw-o80FpubUcYfvE 2506
test_api/vector_test.py sha256=_CuSlTEORbU1wjAgPXVJR9QAViFkDp3abUi3B_dP7ys 1107
yices/Census.py sha256=USmcgCQyFBBuBcPmR4wx8PF-yEgFWCUuRhvjQnVXGwU 566
yices/Config.py sha256=iqq44hYWeNAVDFq75Py6nSn4z9jTffTjAg8nqR1CDf8 1068
yices/Constructors.py sha256=NROG-LboUJtr2_vF0kASXX190PAv0SoqS8VmVxAag1M 1752
yices/Context.py sha256=0Dri5kJsEdrdtTwIsFJhOiprivwz2xez5Kyk3RqEN_0 5176
yices/Delegates.py sha256=v1_5QtBJyVWO5cjuE8PHtW8RfGe5TmTVam3T-j51QrI 1990
yices/Dimacs.py sha256=wcdwIZBFx1iO1LZxdl0PHG1ATAfgdsHWlkiOATz1o6k 1657
yices/InterpolationContext.py sha256=JTWuyf7pxf1jTXhyFdxKZJJZ1j9iekmcS0UMutB5axY 1148
yices/Model.py sha256=UH9QCAOnZuB0bCG9bp5nxTLYafcDeAXP3KVy8kUKsYM 17224
yices/Parameters.py sha256=2nh3IPfFXtcPSkFqmsyVbyANZHnY6OkZBnhK08RJMx0 1108
yices/Profiler.py sha256=hZfKtd_iQI5r7PnHqU_isE_3GFwfOZ3lWoGfbMKujbk 2064
yices/Status.py sha256=nYVUr9ttWJXr6H4epolve_V9j8XxrrDUkabwLLLT1tg 1072
yices/StringBuilder.py sha256=4PDXAMg0uZa6TWgQkip-UwpAVyaBkCjZQ6afXOmKx2A 783
yices/Terms.py sha256=yLPsU_f6lmmcp7SmhHoQa3MqAVAxS28vJQz0QrXDMlM 31854
yices/Types.py sha256=3Z0bpQ8JLTzwf5ldhb8W3ZRYYcXO9FWeW9tIZuJbKCY 8085
yices/Yices.py sha256=oglAAxoY0x-xzr7S3JAa2Mdn7RfTLwgQ8bYe5QAimGs 7690
yices/YicesException.py sha256=V62FJff-W_6hJJCKgpistT7XDgRM1Lx3BJ6-O8P5yP0 527
yices/Yvals.py sha256=gyZz0IWGa16gNhJ8qNH9mTyFFmXiq19cEHNXDXuI2As 440
yices/__init__.py sha256=GBpWlZwJXbL1q3aZsiH0n2LaVajy0DR2cYHjiiXzXUg 1098
yices-1.1.5.dist-info/LICENSE sha256=WypPlhBxM9LGWh6eiZpoSjtEj1qJsXizb1u_OBtcWuo 1068
yices-1.1.5.dist-info/METADATA sha256=DUGyPkXB8xeprmd_dQD_5d3OyDMt7wllA6aEwVIsADo 1326
yices-1.1.5.dist-info/WHEEL sha256=ewwEueio1C2XeHTvT17n8dZUJgOvyCWCt0WVNLClP9o 92
yices-1.1.5.dist-info/entry_points.txt sha256=PAuMVxnjF92j6BzfByXTc_SdL7cSntdJWrBFuImcCd8 72
yices-1.1.5.dist-info/top_level.txt sha256=vOKfACaXKZtQ-0MHKP7PLPwNAqIrailopjgfwEVgqaI 30
yices-1.1.5.dist-info/RECORD — —

top_level.txt

test
test_api
yices
yices_api

entry_points.txt

[console_scripts]
yices_python_info = yices_api:yices_python_info_main