dreal

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 / 16.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 / 16.04

curl -fsSL https://raw.githubusercontent.com/dreal/dreal4/master/setup/ubuntu/`lsb_release -r -s`/install_prereqs.sh | sudo bash

Download files

Download the file for your platform. If you're not sure which to choose, learn more about installing packages.

Source Distributions

No source distribution files available for this release.See tutorial on generating distribution archives.

Built Distributions

If you're not sure about the file name format, learn more about wheel file names.

The dropdown lists show the available interpreters, ABIs, and platforms. Enable javascript to be able to filter the list of wheel files.

dreal-4.20.12.1-cp39-none-manylinux1_x86_64.whl (1.2 MB view details)

Uploaded Dec 11, 2020 CPython 3.9

dreal-4.20.12.1-cp39-none-macosx_10_14_x86_64.whl (998.4 kB view details)

Uploaded Dec 11, 2020 CPython 3.9macOS 10.14+ x86-64

dreal-4.20.12.1-cp38-none-manylinux1_x86_64.whl (1.2 MB view details)

Uploaded Dec 11, 2020 CPython 3.8

dreal-4.20.12.1-cp38-none-macosx_10_14_x86_64.whl (998.2 kB view details)

Uploaded Dec 11, 2020 CPython 3.8macOS 10.14+ x86-64

dreal-4.20.12.1-cp37-none-manylinux1_x86_64.whl (1.2 MB view details)

Uploaded Dec 11, 2020 CPython 3.7

dreal-4.20.12.1-cp37-none-macosx_10_14_x86_64.whl (984.5 kB view details)

Uploaded Dec 11, 2020 CPython 3.7macOS 10.14+ x86-64

dreal-4.20.12.1-cp36-none-manylinux1_x86_64.whl (1.2 MB view details)

Uploaded Dec 11, 2020 CPython 3.6

dreal-4.20.12.1-cp36-none-macosx_10_14_x86_64.whl (984.5 kB view details)

Uploaded Dec 11, 2020 CPython 3.6macOS 10.14+ x86-64

File details

Details for the file dreal-4.20.12.1-cp39-none-manylinux1_x86_64.whl.

File metadata

Download URL: dreal-4.20.12.1-cp39-none-manylinux1_x86_64.whl
Upload date: Dec 11, 2020
Size: 1.2 MB
Tags: CPython 3.9
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.2.0 pkginfo/1.6.1 requests/2.25.0 setuptools/51.0.0 requests-toolbelt/0.9.1 tqdm/4.54.1 CPython/3.9.0

File hashes

Hashes for dreal-4.20.12.1-cp39-none-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`e264a4698c9ccdcbe6758c945f366289e1377f5fc5d82c758c64e062cecebf50`
MD5	`dd35e0c5f43f6b72063899aba2a180f8`
BLAKE2b-256	`524607bf4baab41d68e1ec4b5ccd72b2c939ab4c718ede5ee8c38eea784ae2c6`

See more details on using hashes here.

File details

Details for the file dreal-4.20.12.1-cp39-none-macosx_10_14_x86_64.whl.

File metadata

Download URL: dreal-4.20.12.1-cp39-none-macosx_10_14_x86_64.whl
Upload date: Dec 11, 2020
Size: 998.4 kB
Tags: CPython 3.9, macOS 10.14+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.2.0 pkginfo/1.6.1 requests/2.25.0 setuptools/50.3.2 requests-toolbelt/0.9.1 tqdm/4.54.1 CPython/3.9.0

File hashes

Hashes for dreal-4.20.12.1-cp39-none-macosx_10_14_x86_64.whl
Algorithm	Hash digest
SHA256	`c50d245388790d6987ef808970ab11e9c3430f56c6756de4be16c3cbd746cb32`
MD5	`7927a4cbfdab4a200f4591c1944627c5`
BLAKE2b-256	`86a008f4537d79b4afd14d6191f2289b558d84664e758c80fb8cd7c0d59ad2a9`

See more details on using hashes here.

File details

Details for the file dreal-4.20.12.1-cp38-none-manylinux1_x86_64.whl.

File metadata

Download URL: dreal-4.20.12.1-cp38-none-manylinux1_x86_64.whl
Upload date: Dec 11, 2020
Size: 1.2 MB
Tags: CPython 3.8
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.2.0 pkginfo/1.6.1 requests/2.25.0 setuptools/51.0.0 requests-toolbelt/0.9.1 tqdm/4.54.1 CPython/3.9.0

File hashes

Hashes for dreal-4.20.12.1-cp38-none-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`f43806497042716c3bfc3b5ebfab86bea520d70067f7d2e7797ddb4d9e52ac6a`
MD5	`6aab79bee575510c9c19640c8625eea8`
BLAKE2b-256	`92cf093e03db906be319ba0fe2078350b24243f5eb7a68f5e87da0465769d2e8`

See more details on using hashes here.

File details

Details for the file dreal-4.20.12.1-cp38-none-macosx_10_14_x86_64.whl.

File metadata

Download URL: dreal-4.20.12.1-cp38-none-macosx_10_14_x86_64.whl
Upload date: Dec 11, 2020
Size: 998.2 kB
Tags: CPython 3.8, macOS 10.14+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.2.0 pkginfo/1.6.1 requests/2.25.0 setuptools/50.3.2 requests-toolbelt/0.9.1 tqdm/4.54.1 CPython/3.9.0

File hashes

Hashes for dreal-4.20.12.1-cp38-none-macosx_10_14_x86_64.whl
Algorithm	Hash digest
SHA256	`717612a9a204e3b6e4abdc759803b31b97203d29828e9785de26f7d0ee5e246d`
MD5	`da77ad18235126767346877f8b7f163d`
BLAKE2b-256	`5234d2172a5679a499c2e75b2c2f572c8624dcb6782c704f132c6d3d08dc1c77`

See more details on using hashes here.

File details

Details for the file dreal-4.20.12.1-cp37-none-manylinux1_x86_64.whl.

File metadata

Download URL: dreal-4.20.12.1-cp37-none-manylinux1_x86_64.whl
Upload date: Dec 11, 2020
Size: 1.2 MB
Tags: CPython 3.7
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.2.0 pkginfo/1.6.1 requests/2.25.0 setuptools/51.0.0 requests-toolbelt/0.9.1 tqdm/4.54.1 CPython/3.9.0

File hashes

Hashes for dreal-4.20.12.1-cp37-none-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`1199ff633c572ce1b16ded8e2932adc83b254861cad3497f47eb48e7e1cda0d2`
MD5	`d9d64a0aa3f363b76849793d77483a86`
BLAKE2b-256	`f1f7d7f9fb0c208eb3f868bc02ffc2cb09db79bb10bb562730236e24256bc4b3`

See more details on using hashes here.

File details

Details for the file dreal-4.20.12.1-cp37-none-macosx_10_14_x86_64.whl.

File metadata

Download URL: dreal-4.20.12.1-cp37-none-macosx_10_14_x86_64.whl
Upload date: Dec 11, 2020
Size: 984.5 kB
Tags: CPython 3.7, macOS 10.14+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.2.0 pkginfo/1.6.1 requests/2.25.0 setuptools/50.3.2 requests-toolbelt/0.9.1 tqdm/4.54.1 CPython/3.9.0

File hashes

Hashes for dreal-4.20.12.1-cp37-none-macosx_10_14_x86_64.whl
Algorithm	Hash digest
SHA256	`d5cad9354cd156dafcd453cc2fa7a3087c91059f80ab3bb4e5735e1ae42c2a49`
MD5	`f6b907f29b03488d6495b163080d4743`
BLAKE2b-256	`d6782bad928c13dc450cc3821510370838420df6bf34ceb2780f70104f0de1c5`

See more details on using hashes here.

File details

Details for the file dreal-4.20.12.1-cp36-none-manylinux1_x86_64.whl.

File metadata

Download URL: dreal-4.20.12.1-cp36-none-manylinux1_x86_64.whl
Upload date: Dec 11, 2020
Size: 1.2 MB
Tags: CPython 3.6
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.2.0 pkginfo/1.6.1 requests/2.25.0 setuptools/51.0.0 requests-toolbelt/0.9.1 tqdm/4.54.1 CPython/3.9.0

File hashes

Hashes for dreal-4.20.12.1-cp36-none-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`2fffbc65be07b4f0c9b077cfb8db92b227503b2a27b07ddfcb6582af3e11aa29`
MD5	`e47709562cf02a88cbe3af44b3e84523`
BLAKE2b-256	`919c27e1eb59c32c3ba8e1ec96a6be4d2389e3417b6f2b2c91de9ed30620d32c`

See more details on using hashes here.

File details

Details for the file dreal-4.20.12.1-cp36-none-macosx_10_14_x86_64.whl.

File metadata

Download URL: dreal-4.20.12.1-cp36-none-macosx_10_14_x86_64.whl
Upload date: Dec 11, 2020
Size: 984.5 kB
Tags: CPython 3.6, macOS 10.14+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.2.0 pkginfo/1.6.1 requests/2.25.0 setuptools/50.3.2 requests-toolbelt/0.9.1 tqdm/4.54.1 CPython/3.9.0

File hashes

Hashes for dreal-4.20.12.1-cp36-none-macosx_10_14_x86_64.whl
Algorithm	Hash digest
SHA256	`6f107901f1c573865ca809013f7386887f045f32feb8dd6239346288846dd673`
MD5	`d883925510fae8d5e376bc75f162c067`
BLAKE2b-256	`e896187894b4b03c87827c7bcae9b281bca9573a6d1487f9d81482eeadb4e9bb`

See more details on using hashes here.

Release history Release notifications | RSS feed

4.21.6.2

Jun 19, 2021

4.21.6.1

Jun 3, 2021

This release

4.20.12.1

Dec 11, 2020

4.20.9.1

Sep 17, 2020

4.20.8.1

Aug 1, 2020

4.20.7.1

Jul 22, 2020

4.20.4.2

Apr 26, 2020

4.20.4.1

Apr 20, 2020

4.20.3.2

Mar 15, 2020

4.19.10.3

Dec 29, 2019

4.19.10.2

Oct 8, 2019

4.19.8.1

Aug 26, 2019

4.19.6.3

Jun 17, 2019

4.19.6.2

Jun 14, 2019

4.19.4.4.1

May 21, 2019

4.19.4.4

Apr 12, 2019

4.19.4.3

Apr 8, 2019

4.19.4.2

Apr 5, 2019

4.19.4.1

Apr 2, 2019

4.19.3.1

Mar 11, 2019

4.19.2.1

Feb 12, 2019

4.18.11.4

Nov 30, 2018

4.18.11.3

Nov 18, 2018

4.18.11.2.7

Nov 15, 2018

dreal 4.20.12.1

Precompiled Wheels

Build from Source

Project links

Key dates

1 maintainer

Credits

License

Tags

Classifiers

Download files

Source Distributions

Built Distributions

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

Release history Release notifications | RSS feed