2 files were added to this release more than 14 days after its initial publication. Inspect the release files before installing.
dReal4: SMT Solver for Nonlinear Theories of Reals
Please visit https://github.com/dreal/dreal4.
Precompiled Wheels
We provide precompiled distributions (.whl) for the following environments:
- macOS 11.0 / 10.15 / 10.14 + CPython 3.7
- Linux + CPython 3.6 / 3.7 / 3.8 / 3.9
You still need to install dReal prerequisites such as IBEX and CLP in your system. To install them, please follow the instructions below:
macOS 11.0 / 10.15 / 10.14
brew tap dreal-deps/ibex
brew tap dreal/dreal
brew install dreal --only-dependencies
Ubuntu 20.04 / 18.04
curl -fsSL https://raw.githubusercontent.com/dreal/dreal4/master/setup/ubuntu/`lsb_release -r -s`/install.sh | sudo bash
Build from Source
If pip fails to find a precompiled distribution, it fetches dReal
source and build it from scratch. You need to install the required
packages to do so. To install them, please follow the instructions
below:
macOS 11.0 / 10.15 / 10.14
brew tap dreal-deps/ibex
brew tap dreal/dreal
brew install dreal --only-dependencies --build-from-source
Ubuntu 20.04 / 18.04
curl -fsSL https://raw.githubusercontent.com/dreal/dreal4/master/setup/ubuntu/`lsb_release -r -s`/install_prereqs.sh | sudo bash
1 maintainer
Metadata
1 maintainer
Release files for dreal 4.21.6.2
For a detailed explanation of source distributions (sdists) and built distributions (wheels), please see the package formats documentation.
Files added late
2 files were uploaded more than 14 days after the first file in this release.
While project maintainers occasionally add legitimate files to an existing release, late additions can also indicate a security compromise.
We recommend inspecting the release files before installing.
Built distributions (wheels)
Total release size: 11.4 MB
Release files / dreal-4.21.6.2-cp311-none-manylinux1_x86_64.whl
File added late
This file was uploaded more than 14 days after the first file in this release.
While project maintainers occasionally add legitimate files to an existing release, late additions can also indicate a security compromise.
We recommend inspecting the release file before installing.
| Download URL | dreal-4.21.6.2-cp311-none-manylinux1_x86_64.whl |
|---|---|
| Size | 1.3 MB |
| Tags | CPython 3.11 Linux glibc 2.5+ x86-64 |
|
SHA-256 checksum How to use checksums |
95c5d7ddce29a354796832c92ae23a4417e3bae3f5994ad21579a1f87bad1c09
|
|
BLAKE2b-256 checksum How to use checksums |
2ccb6082351a9cb6a22da1c3873c52c7786f156997d649bc213a52407fddef2a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.8.10
|
Release files / dreal-4.21.6.2-cp310-none-manylinux1_x86_64.whl
File added late
This file was uploaded more than 14 days after the first file in this release.
While project maintainers occasionally add legitimate files to an existing release, late additions can also indicate a security compromise.
We recommend inspecting the release file before installing.
| Download URL | dreal-4.21.6.2-cp310-none-manylinux1_x86_64.whl |
|---|---|
| Size | 1.4 MB |
| Tags | CPython 3.10 Linux glibc 2.5+ x86-64 |
|
SHA-256 checksum How to use checksums |
936759fb2990fd4cf516b3fdbe119418777cbd2507d503f7eb4bab075c5216bc
|
|
BLAKE2b-256 checksum How to use checksums |
a843229cc22d8ffb9bab43d94ff5b9af664c786e0367aa0ab0119b672284451b
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/4.0.2 CPython/3.8.10
|
Release files / dreal-4.21.6.2-cp39-none-manylinux1_x86_64.whl
| Download URL | dreal-4.21.6.2-cp39-none-manylinux1_x86_64.whl |
|---|---|
| Size | 1.2 MB |
| Tags | CPython 3.9 Linux glibc 2.5+ x86-64 |
|
SHA-256 checksum How to use checksums |
0aa11d410e64dd97b47c5e704e36b94659740f66507ecd6f170e31e68ff879c1
|
|
BLAKE2b-256 checksum How to use checksums |
f52b3efe5e2724a8d03c490c4517f692a5f9b7ec0bf65965737a9a0b4c757cc2
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/3.4.1 importlib_metadata/4.5.0 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.61.1 CPython/3.9.5
|
Release files / dreal-4.21.6.2-cp39-none-macosx_10_14_x86_64.whl
| Download URL | dreal-4.21.6.2-cp39-none-macosx_10_14_x86_64.whl |
|---|---|
| Size | 1.0 MB |
| Tags | CPython 3.9 macOS 10.14+ x86-64 |
|
SHA-256 checksum How to use checksums |
23038b65853d3d543f61328718f71fd749925e0841f9643564ecb2bb541d8c76
|
|
BLAKE2b-256 checksum How to use checksums |
d4def5642a3dff2aa03fe47f72f36ad10f134dbecceab7402277f0c9f5da2882
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/3.4.1 importlib_metadata/4.5.0 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.61.1 CPython/3.9.5
|
Release files / dreal-4.21.6.2-cp38-none-manylinux1_x86_64.whl
| Download URL | dreal-4.21.6.2-cp38-none-manylinux1_x86_64.whl |
|---|---|
| Size | 1.2 MB |
| Tags | CPython 3.8 Linux glibc 2.5+ x86-64 |
|
SHA-256 checksum How to use checksums |
40b79499867c422e23addae8d1c41fef916a87583b19334c3487a4fa96bf2257
|
|
BLAKE2b-256 checksum How to use checksums |
1466a205bc2b554bf1d08e853d6a6e7e9e3aedfcfd4cd78f3d95b916790a5162
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/3.4.1 importlib_metadata/4.5.0 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.61.1 CPython/3.9.5
|
Release files / dreal-4.21.6.2-cp38-none-macosx_10_14_x86_64.whl
| Download URL | dreal-4.21.6.2-cp38-none-macosx_10_14_x86_64.whl |
|---|---|
| Size | 1.0 MB |
| Tags | CPython 3.8 macOS 10.14+ x86-64 |
|
SHA-256 checksum How to use checksums |
56697bd1a795b366b7fc4eef3c2466e6bd353866abbc0af1d900e56d14a50699
|
|
BLAKE2b-256 checksum How to use checksums |
eaf7d0e7fea5f94de5ee7ddbe7056383910b71bcee39c31f6316045f84116192
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/3.4.1 importlib_metadata/4.5.0 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.61.1 CPython/3.9.5
|
Release files / dreal-4.21.6.2-cp37-none-manylinux1_x86_64.whl
| Download URL | dreal-4.21.6.2-cp37-none-manylinux1_x86_64.whl |
|---|---|
| Size | 1.2 MB |
| Tags | CPython 3.7 Linux glibc 2.5+ x86-64 |
|
SHA-256 checksum How to use checksums |
ef9dd5ad60d6e38c19af6b6811e7acb725b66b1bfe2fdc45108743cbb1e0b043
|
|
BLAKE2b-256 checksum How to use checksums |
d37e3af76d21a35f7b49cb9dc79f59c460b2c173dd0d17f7cdcf35b52ef7aafa
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/3.4.1 importlib_metadata/4.5.0 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.61.1 CPython/3.9.5
|
Release files / dreal-4.21.6.2-cp37-none-macosx_10_14_x86_64.whl
| Download URL | dreal-4.21.6.2-cp37-none-macosx_10_14_x86_64.whl |
|---|---|
| Size | 1.0 MB |
| Tags | CPython 3.7 macOS 10.14+ x86-64 |
|
SHA-256 checksum How to use checksums |
178e4df49348fac5a7d306f906815c8c085e4787476a00317e09a6f5e6e2dc3d
|
|
BLAKE2b-256 checksum How to use checksums |
5bd67d01aba5500b384ecc045dec17cbdb972c745317d5452cb99d27650e9d9d
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/3.4.1 importlib_metadata/4.5.0 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.61.1 CPython/3.9.5
|
Release files / dreal-4.21.6.2-cp36-none-manylinux1_x86_64.whl
| Download URL | dreal-4.21.6.2-cp36-none-manylinux1_x86_64.whl |
|---|---|
| Size | 1.2 MB |
| Tags | CPython 3.6 Linux glibc 2.5+ x86-64 |
|
SHA-256 checksum How to use checksums |
b671938de141791fb989d3fa088f6487afb6e6669dd58272c1a0295173751ba9
|
|
BLAKE2b-256 checksum How to use checksums |
155e1941c695baf59f819bbd4a03721126f266138a8e54a7c60245da10d720d9
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/3.4.1 importlib_metadata/4.5.0 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.61.1 CPython/3.9.5
|
Release files / dreal-4.21.6.2-cp36-none-macosx_10_14_x86_64.whl
| Download URL | dreal-4.21.6.2-cp36-none-macosx_10_14_x86_64.whl |
|---|---|
| Size | 1.0 MB |
| Tags | CPython 3.6 macOS 10.14+ x86-64 |
|
SHA-256 checksum How to use checksums |
8d914964dc9bd0d9c003490c16c2d937ca6f63b7b91f93ff225fc25fa296bfe0
|
|
BLAKE2b-256 checksum How to use checksums |
ed3436ab6a71291a6dc1b93877c70da9870b0cc9a04333a1ad10b774d140539a
|
| Upload date | |
|
Uploaded using Trusted Publishing? What is trusted publishing? |
No |
| Uploaded via |
twine/3.4.1 importlib_metadata/4.5.0 pkginfo/1.7.0 requests/2.25.1 requests-toolbelt/0.9.1 tqdm/4.61.1 CPython/3.9.5
|
