Wheelodex » Projects » yices

yices

View on PyPI — Reverse Dependencies (2)

1.1.6 yices-1.1.6-py3-none-any.whl

Wheel Details

Project: yices
Version: 1.1.6
Filename: yices-1.1.6-py3-none-any.whl
Download: [link]
Size: 72996
MD5: 91f6ce1c3d02cbd199c2b354b3ec2edc
SHA256: 030321a6a926a7992cb380cd597f2df81f06c56644daad790c7e832d2cd4a780
Uploaded: 2024-12-18 06:10:29 +0000

dist-info

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

METADATA

Metadata-Version: 2.1
Name: yices
Version: 1.1.6
Summary: Python Bindings for the Yices SMT Solver
Author: Sam Owre, Ian A. Mason, Bruno Dutertre, Ahmed Irfan.
Author-Email: ahmed.irfan[at]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: 30 characters]

WHEEL

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

RECORD

Path Digest Size
yices_api.py sha256=-puA_RqnlzLmwvDnExxnEvueBerw-oQKI8OFMWhQmjA 205054
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=sWfdwjvQdzUvi64DtoAPG-klEyJSZHyyWowri8Svuec 1179
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=2IlbWUHF2O0s5ozXxzviETs2GtMMtW--PJNYg6Z6--Q 26935
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=Dbmu7bCPaZiJ_CXjLCAzz__bNI9qU2FYSC7vMWdbArY 6664
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.6.dist-info/LICENSE sha256=Dxotx5p-UR1EaHbstJrTtPUYze94Hsb_8MIuP-_XS9A 1099
yices-1.1.6.dist-info/METADATA sha256=3V9mNO5ZaP64Onb3rhDeaVk6JpBIWn3MCpxamiyY3kw 1324
yices-1.1.6.dist-info/WHEEL sha256=tZoeGjtWxWRfdplE7E3d45VPlLNQnvbKiYnx7gwAy8A 92
yices-1.1.6.dist-info/entry_points.txt sha256=wVPMLR7Id0qDZo1D9h3WQ57KkvrFJ7TPPareBl-TQOY 71
yices-1.1.6.dist-info/top_level.txt sha256=vOKfACaXKZtQ-0MHKP7PLPwNAqIrailopjgfwEVgqaI 30
yices-1.1.6.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