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 10.12 / 10.13 / 10.14 + CPython 2.7 / 3.7
Linux + CPython 2.7 / 3.5 / 3.6 / 3.7

You still need to install dReal prerequisites such as IBEX and CLP in your system. To install them, please follow the instructions below:

macOS 10.14 / 10.13 / 10.12

brew install dreal --only-dependencies

Ubuntu 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 fetchs 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 10.14 / 10.13 / 10.12

brew install dreal --only-dependencies --build-from-source

Ubuntu 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 Distribution

dreal-4.19.4.4.1.tar.gz (291.8 kB view details)

Uploaded May 21, 2019 Source

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.19.4.4.1-cp37-none-manylinux1_x86_64.whl (922.3 kB view details)

Uploaded May 21, 2019 CPython 3.7

dreal-4.19.4.4.1-cp37-none-macosx_10_14_x86_64.whl (862.2 kB view details)

Uploaded May 21, 2019 CPython 3.7macOS 10.14+ x86-64

dreal-4.19.4.4.1-cp37-none-macosx_10_13_x86_64.whl (857.1 kB view details)

Uploaded May 21, 2019 CPython 3.7macOS 10.13+ x86-64

dreal-4.19.4.4.1-cp37-none-macosx_10_12_x86_64.whl (848.0 kB view details)

Uploaded May 21, 2019 CPython 3.7macOS 10.12+ x86-64

dreal-4.19.4.4.1-cp36-none-manylinux1_x86_64.whl (926.6 kB view details)

Uploaded May 21, 2019 CPython 3.6

dreal-4.19.4.4.1-cp35-none-manylinux1_x86_64.whl (934.6 kB view details)

Uploaded May 22, 2019 CPython 3.5

dreal-4.19.4.4.1-cp27-none-manylinux1_x86_64.whl (923.5 kB view details)

Uploaded May 21, 2019 CPython 2.7

dreal-4.19.4.4.1-cp27-none-macosx_10_14_x86_64.whl (863.8 kB view details)

Uploaded May 21, 2019 CPython 2.7macOS 10.14+ x86-64

dreal-4.19.4.4.1-cp27-none-macosx_10_13_x86_64.whl (858.5 kB view details)

Uploaded May 21, 2019 CPython 2.7macOS 10.13+ x86-64

dreal-4.19.4.4.1-cp27-none-macosx_10_12_x86_64.whl (849.9 kB view details)

Uploaded May 21, 2019 CPython 2.7macOS 10.12+ x86-64

File details

Details for the file dreal-4.19.4.4.1.tar.gz.

File metadata

Download URL: dreal-4.19.4.4.1.tar.gz
Upload date: May 21, 2019
Size: 291.8 kB
Tags: Source
Uploaded using Trusted Publishing? No
Uploaded via: twine/1.13.0 pkginfo/1.4.2 requests/2.20.1 setuptools/41.0.1 requests-toolbelt/0.8.0 tqdm/4.28.1 CPython/3.7.3

File hashes

Hashes for dreal-4.19.4.4.1.tar.gz
Algorithm	Hash digest
SHA256	`ecbde160396fd44dde05c7dc9164e05f6fac763cabdc61479f6fc18989fdaca9`
MD5	`0aa30bb72ae3c79b859011c1d5d14d09`
BLAKE2b-256	`24edb0e57aeeffc0e86323754c0750d832c7ab1edc74c63e9f8ab84f1c6121f4`

See more details on using hashes here.

File details

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

File metadata

Download URL: dreal-4.19.4.4.1-cp37-none-manylinux1_x86_64.whl
Upload date: May 21, 2019
Size: 922.3 kB
Tags: CPython 3.7
Uploaded using Trusted Publishing? No
Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.21.0 setuptools/41.0.1 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.1

File hashes

Hashes for dreal-4.19.4.4.1-cp37-none-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`a628c7ddfbc1d5b26a4dcceb1c69ee004b5552f17a12b550c7f922fb831dd136`
MD5	`e42918e12f2d1b8811a25f1a7f06aa5d`
BLAKE2b-256	`06cca78ccab35dfd56ec2fd110b6f106834f9df819adb4dd3a0fb8736868c7d5`

See more details on using hashes here.

File details

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

File metadata

Download URL: dreal-4.19.4.4.1-cp37-none-macosx_10_14_x86_64.whl
Upload date: May 21, 2019
Size: 862.2 kB
Tags: CPython 3.7, macOS 10.14+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/1.13.0 pkginfo/1.4.2 requests/2.20.1 setuptools/41.0.1 requests-toolbelt/0.8.0 tqdm/4.28.1 CPython/3.7.3

File hashes

Hashes for dreal-4.19.4.4.1-cp37-none-macosx_10_14_x86_64.whl
Algorithm	Hash digest
SHA256	`dad83b3ec2011ed6ed600e14a6cd007c4374728274297b55d64ee7887b5e7448`
MD5	`5092e26cd725cb89b80b3b4886d10cc4`
BLAKE2b-256	`92522ff92e3087498ba0bae44ac703e01e4b087b0ee79271ac85cd79eb7df2f0`

See more details on using hashes here.

File details

Details for the file dreal-4.19.4.4.1-cp37-none-macosx_10_13_x86_64.whl.

File metadata

Download URL: dreal-4.19.4.4.1-cp37-none-macosx_10_13_x86_64.whl
Upload date: May 21, 2019
Size: 857.1 kB
Tags: CPython 3.7, macOS 10.13+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.21.0 setuptools/41.0.1 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.3

File hashes

Hashes for dreal-4.19.4.4.1-cp37-none-macosx_10_13_x86_64.whl
Algorithm	Hash digest
SHA256	`bc303a167827624bcc7323479ae00eb295d390878d31465541783a12f128617f`
MD5	`1f6cfe8da1b0622f5d9142cabd7179c4`
BLAKE2b-256	`baadffe16bef918bbb163393854b459a6edeb5e8f2f261cd777435f14c07bc27`

See more details on using hashes here.

File details

Details for the file dreal-4.19.4.4.1-cp37-none-macosx_10_12_x86_64.whl.

File metadata

Download URL: dreal-4.19.4.4.1-cp37-none-macosx_10_12_x86_64.whl
Upload date: May 21, 2019
Size: 848.0 kB
Tags: CPython 3.7, macOS 10.12+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.21.0 setuptools/41.0.1 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.3

File hashes

Hashes for dreal-4.19.4.4.1-cp37-none-macosx_10_12_x86_64.whl
Algorithm	Hash digest
SHA256	`5009bb62b1ffb4f16ab9c8e803b7212385ca0442af82efd9a4b3e2f36581725e`
MD5	`ac9c8614e7e83371fa57b4e728ac2417`
BLAKE2b-256	`99fc74426ec3322aad8ffeaca7e0c511e7293c654b4849ad2641723d613d1c8c`

See more details on using hashes here.

File details

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

File metadata

Download URL: dreal-4.19.4.4.1-cp36-none-manylinux1_x86_64.whl
Upload date: May 21, 2019
Size: 926.6 kB
Tags: CPython 3.6
Uploaded using Trusted Publishing? No
Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.21.0 setuptools/41.0.1 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.6.7

File hashes

Hashes for dreal-4.19.4.4.1-cp36-none-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`effbfc5b1f5eab1c2a1cc1e9fa2b181214329794cfc8643c9a3a7385b02e7191`
MD5	`489e858a24e33751de432cf66075f845`
BLAKE2b-256	`589a8dba3473eda03d2c94e093302ecd207033a9123fb51face473bb29348ef1`

See more details on using hashes here.

File details

Details for the file dreal-4.19.4.4.1-cp35-none-manylinux1_x86_64.whl.

File metadata

Download URL: dreal-4.19.4.4.1-cp35-none-manylinux1_x86_64.whl
Upload date: May 22, 2019
Size: 934.6 kB
Tags: CPython 3.5
Uploaded using Trusted Publishing? No
Uploaded via: twine/1.12.1 pkginfo/1.4.2 requests/2.20.1 setuptools/41.0.1 requests-toolbelt/0.8.0 tqdm/4.19.4 CPython/2.7.12

File hashes

Hashes for dreal-4.19.4.4.1-cp35-none-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`4c3be8d0a0fd790aeb683067e0be8e3c53bfbf720a9812241a53639a61c1ca8c`
MD5	`1f6bdc7fd5ba19892f54bea3abd9c4b9`
BLAKE2b-256	`21df2d1e967ac5634f1998b87db814162ae361f6d0274c11c8074a21a05285a8`

See more details on using hashes here.

File details

Details for the file dreal-4.19.4.4.1-cp27-none-manylinux1_x86_64.whl.

File metadata

Download URL: dreal-4.19.4.4.1-cp27-none-manylinux1_x86_64.whl
Upload date: May 21, 2019
Size: 923.5 kB
Tags: CPython 2.7
Uploaded using Trusted Publishing? No
Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.21.0 setuptools/41.0.1 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.1

File hashes

Hashes for dreal-4.19.4.4.1-cp27-none-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`009b91e685fcc04798087830817a54ce1b82d34a2318786755055a62e4a36344`
MD5	`dc16d101d2cd04a9ca6caa6ea9af938d`
BLAKE2b-256	`8b12dc98b0fb2baafa45d85bc215ee1cde24582f4b2ff3c8e31bf600986baa42`

See more details on using hashes here.

File details

Details for the file dreal-4.19.4.4.1-cp27-none-macosx_10_14_x86_64.whl.

File metadata

Download URL: dreal-4.19.4.4.1-cp27-none-macosx_10_14_x86_64.whl
Upload date: May 21, 2019
Size: 863.8 kB
Tags: CPython 2.7, macOS 10.14+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/1.13.0 pkginfo/1.4.2 requests/2.20.1 setuptools/41.0.1 requests-toolbelt/0.8.0 tqdm/4.28.1 CPython/3.7.3

File hashes

Hashes for dreal-4.19.4.4.1-cp27-none-macosx_10_14_x86_64.whl
Algorithm	Hash digest
SHA256	`c6c2eb838c1913cc5caa8d98abf583241a8928407d52306e837f3bdc4e191018`
MD5	`06c8e82cce498fe152dd7adc8183113f`
BLAKE2b-256	`11bb0ec9feb13368ad51e2a6151436e15835dd043ea2bf25006b4012d94ea1ae`

See more details on using hashes here.

File details

Details for the file dreal-4.19.4.4.1-cp27-none-macosx_10_13_x86_64.whl.

File metadata

Download URL: dreal-4.19.4.4.1-cp27-none-macosx_10_13_x86_64.whl
Upload date: May 21, 2019
Size: 858.5 kB
Tags: CPython 2.7, macOS 10.13+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.21.0 setuptools/41.0.1 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.3

File hashes

Hashes for dreal-4.19.4.4.1-cp27-none-macosx_10_13_x86_64.whl
Algorithm	Hash digest
SHA256	`cf6ec7f1180f88e56efe8a53cdc0c52c4d486fb3e3c1a1a96fa12fa672c5481c`
MD5	`5a071442753908151e652d9dd35b19e5`
BLAKE2b-256	`59c7d7789628933eb1e08f34e695b8d0692a7b2ef6db9bcb17b2df4154519be6`

See more details on using hashes here.

File details

Details for the file dreal-4.19.4.4.1-cp27-none-macosx_10_12_x86_64.whl.

File metadata

Download URL: dreal-4.19.4.4.1-cp27-none-macosx_10_12_x86_64.whl
Upload date: May 21, 2019
Size: 849.9 kB
Tags: CPython 2.7, macOS 10.12+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/1.13.0 pkginfo/1.5.0.1 requests/2.21.0 setuptools/41.0.1 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.3

File hashes

Hashes for dreal-4.19.4.4.1-cp27-none-macosx_10_12_x86_64.whl
Algorithm	Hash digest
SHA256	`dd9fe931b59131dcb6e246d2d663e63244f9da328413cbcca0638fde27d5d93b`
MD5	`09380b9367dfb4f4ceee05a535139934`
BLAKE2b-256	`69414b9a9b65a09627826d650ba305833002b00ae6feb0ad469bf0a0fd33b9bd`

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

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

This release

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.19.4.4.1

Precompiled Wheels

Build from Source

Project links

Key dates

1 maintainer

Credits

License

Tags

Classifiers

Download files

Source Distribution

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

File details

File metadata

File hashes

File details

File metadata

File hashes

File details

File metadata

File hashes

Release history Release notifications | RSS feed