SMT Solver for Nonlinear Theories of Reals
Project description
dReal4: SMT Solver for Nonlinear Theories of Reals
Please visit https://github.com/dreal/dreal4.
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
dreal-4.18.11.2.7.tar.gz
(772.0 kB
view details)
Built Distributions
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file dreal-4.18.11.2.7.tar.gz.
File metadata
- Download URL: dreal-4.18.11.2.7.tar.gz
- Upload date:
- Size: 772.0 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.12.1 pkginfo/1.4.2 requests/2.18.4 setuptools/39.2.0 requests-toolbelt/0.8.0 tqdm/4.28.1 CPython/2.7.15
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
62fe0a1b50d07390e6740487d59bc12f8a792f367938d8e215bf65f67de4b3e8
|
|
| MD5 |
34277d6695cd14251f02e185dc9ca8dc
|
|
| BLAKE2b-256 |
1854c58edd49535743438e79fd0c42cdca5da9d8cb7d437fd643049bdff7144b
|
File details
Details for the file dreal-4.18.11.2.7-py3-none-manylinux1_x86_64.whl.
File metadata
- Download URL: dreal-4.18.11.2.7-py3-none-manylinux1_x86_64.whl
- Upload date:
- Size: 903.6 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.12.1 pkginfo/1.4.2 requests/2.20.1 setuptools/40.6.2 requests-toolbelt/0.8.0 tqdm/4.28.1 CPython/3.5.2
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
1bc11a6e25e92e6c83d10d2b2fa4bd72fe7f466274be95fd44f445097d521d15
|
|
| MD5 |
fd3173cbdccba2b3f4b06c887e2d7306
|
|
| BLAKE2b-256 |
d40dcb726b4d5fa09e27b25663deacc2804bee31bc6c78d1f7971c635a34d5cc
|
File details
Details for the file dreal-4.18.11.2.7-py3-none-macosx_10_14_x86_64.whl.
File metadata
- Download URL: dreal-4.18.11.2.7-py3-none-macosx_10_14_x86_64.whl
- Upload date:
- Size: 782.1 kB
- Tags: Python 3, macOS 10.14+ x86-64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.12.1 pkginfo/1.4.2 requests/2.18.4 setuptools/39.2.0 requests-toolbelt/0.8.0 tqdm/4.28.1 CPython/2.7.15
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
6614bfebd8272c24cd2f9703d99d865f729b5e8e77811eec37e437e413df0d6b
|
|
| MD5 |
10d0d19ca6d91bcb57b3d4684e020ded
|
|
| BLAKE2b-256 |
60f2e7275808478c93f1727edd7a531e4cf2ec80449b48d4bee118c3e853b7b0
|
File details
Details for the file dreal-4.18.11.2.7-py3-none-macosx_10_13_x86_64.whl.
File metadata
- Download URL: dreal-4.18.11.2.7-py3-none-macosx_10_13_x86_64.whl
- Upload date:
- Size: 782.0 kB
- Tags: Python 3, macOS 10.13+ x86-64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.12.1 pkginfo/1.4.2 requests/2.20.1 setuptools/40.6.2 requests-toolbelt/0.8.0 tqdm/4.28.1 CPython/2.7.15
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
9db4aac4d5814cc5f2a226fcce785c8f4569f7caceebdcbd43f3aca2dc7842c8
|
|
| MD5 |
47fb3bebbdf639d0b3c783c02e10fcc4
|
|
| BLAKE2b-256 |
025f85d39259bfdf328446905b600355a84e75622331ee000405d94c3fdcb161
|
File details
Details for the file dreal-4.18.11.2.7-py3-none-macosx_10_12_x86_64.whl.
File metadata
- Download URL: dreal-4.18.11.2.7-py3-none-macosx_10_12_x86_64.whl
- Upload date:
- Size: 771.7 kB
- Tags: Python 3, macOS 10.12+ x86-64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.12.1 pkginfo/1.4.2 requests/2.20.1 setuptools/40.6.2 requests-toolbelt/0.8.0 tqdm/4.28.1 CPython/2.7.15
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
86a8a6b846abb8eb5ea3c68f2153e280764a4b6fb89b5df861bbea584c6832e3
|
|
| MD5 |
1b80de045208b4fd72f8dd629c1dafcc
|
|
| BLAKE2b-256 |
7d2f0c759d1f5c778aaab99d92bdf5d843c79a724810c3cca9f6e2ab8f5b2886
|
File details
Details for the file dreal-4.18.11.2.7-py2-none-manylinux1_x86_64.whl.
File metadata
- Download URL: dreal-4.18.11.2.7-py2-none-manylinux1_x86_64.whl
- Upload date:
- Size: 905.4 kB
- Tags: Python 2
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.12.1 pkginfo/1.4.2 requests/2.20.1 setuptools/40.6.2 requests-toolbelt/0.8.0 tqdm/4.28.1 CPython/3.5.2
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
c6d88ec1e05ca666374559b1b8035a8aaa0e4f25480f4d52e661c5d7584be4c2
|
|
| MD5 |
46fa299960248ed68cbde81b32364d3b
|
|
| BLAKE2b-256 |
5dd5df563d2769e7a1d7fc14e6ca32937b367f023b02d3cd4a796ce41f097006
|
File details
Details for the file dreal-4.18.11.2.7-py2-none-macosx_10_13_x86_64.whl.
File metadata
- Download URL: dreal-4.18.11.2.7-py2-none-macosx_10_13_x86_64.whl
- Upload date:
- Size: 783.5 kB
- Tags: Python 2, macOS 10.13+ x86-64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.12.1 pkginfo/1.4.2 requests/2.18.4 setuptools/39.2.0 requests-toolbelt/0.8.0 tqdm/4.28.1 CPython/2.7.15
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
2b2f86a580c08dc9405b417acd005cc03b8031c58bab3c2686fa536f78a67567
|
|
| MD5 |
85d54ad5c9ac693c74cd845b910448c2
|
|
| BLAKE2b-256 |
fad5b9e6f81a98e82d20f06d2f80f5ea6968ac5169ea0a77185797c808ec8a0c
|
File details
Details for the file dreal-4.18.11.2.7-py2-none-macosx_10_12_x86_64.whl.
File metadata
- Download URL: dreal-4.18.11.2.7-py2-none-macosx_10_12_x86_64.whl
- Upload date:
- Size: 772.7 kB
- Tags: Python 2, macOS 10.12+ x86-64
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/1.12.1 pkginfo/1.4.2 requests/2.20.1 setuptools/40.6.2 requests-toolbelt/0.8.0 tqdm/4.28.1 CPython/2.7.15
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
cbe7a05f2afb7d036d403619500b4dc15c60c02dc063a3516917decd08467b0e
|
|
| MD5 |
f4115f17cc4dbd2bf973361419710c20
|
|
| BLAKE2b-256 |
a74765e1b5e20c372dc0a92788e99d407ab30b7140b754976a444a98186848d2
|
