dreal

SMT Solver for Nonlinear Theories of Reals

These details have not been verified by PyPI

Project links

GitHub Statistics

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Project description

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

Project details

These details have not been verified by PyPI

Project links

GitHub Statistics

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

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

This version

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

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.6.2.tar.gz (298.2 kB view hashes)

Uploaded Jun 14, 2019 Source

Built Distributions

dreal-4.19.6.2-cp37-none-manylinux1_x86_64.whl (1.0 MB view hashes)

Uploaded Jun 14, 2019 CPython 3.7

dreal-4.19.6.2-cp37-none-macosx_10_14_x86_64.whl (898.2 kB view hashes)

Uploaded Jun 14, 2019 CPython 3.7 macOS 10.14+ x86-64

dreal-4.19.6.2-cp37-none-macosx_10_13_x86_64.whl (905.6 kB view hashes)

Uploaded Jun 14, 2019 CPython 3.7 macOS 10.13+ x86-64

dreal-4.19.6.2-cp37-none-macosx_10_12_x86_64.whl (897.4 kB view hashes)

Uploaded Jun 14, 2019 CPython 3.7 macOS 10.12+ x86-64

dreal-4.19.6.2-cp36-none-manylinux1_x86_64.whl (1.0 MB view hashes)

Uploaded Jun 14, 2019 CPython 3.6

dreal-4.19.6.2-cp35-none-manylinux1_x86_64.whl (1.0 MB view hashes)

Uploaded Jun 14, 2019 CPython 3.5

dreal-4.19.6.2-cp27-none-manylinux1_x86_64.whl (1.0 MB view hashes)

Uploaded Jun 14, 2019 CPython 2.7

dreal-4.19.6.2-cp27-none-macosx_10_14_x86_64.whl (899.8 kB view hashes)

Uploaded Jun 14, 2019 CPython 2.7 macOS 10.14+ x86-64

dreal-4.19.6.2-cp27-none-macosx_10_13_x86_64.whl (907.2 kB view hashes)

Uploaded Jun 14, 2019 CPython 2.7 macOS 10.13+ x86-64

dreal-4.19.6.2-cp27-none-macosx_10_12_x86_64.whl (899.3 kB view hashes)

Uploaded Jun 14, 2019 CPython 2.7 macOS 10.12+ x86-64

Hashes for dreal-4.19.6.2.tar.gz

Hashes for dreal-4.19.6.2.tar.gz
Algorithm	Hash digest
SHA256	`c314ad1d5b59ddd9f7ae126f6635730aba1fb0fd4c5c2627053933ce1e66e1b6`
MD5	`5d4a74b3302c71575075af144e8ec292`
BLAKE2b-256	`c98381f3fd34aba6253c578083c52b2d357017b8ad672422e6b678b668a4c991`

Hashes for dreal-4.19.6.2-cp37-none-manylinux1_x86_64.whl

Hashes for dreal-4.19.6.2-cp37-none-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`cad16f85045353cafeba408de6538fd252b5ecdf0f12c89dc9af102e2d4b3cca`
MD5	`02e1a39701f0eaa186cea32573dcb223`
BLAKE2b-256	`62431a27a57901111eef005e1b3baa637f4116917c9eede694157c288955ee67`

Hashes for dreal-4.19.6.2-cp37-none-macosx_10_14_x86_64.whl

Hashes for dreal-4.19.6.2-cp37-none-macosx_10_14_x86_64.whl
Algorithm	Hash digest
SHA256	`811449fb45ae93b9fd13f982c541dfde6c69f21ee21649fd6ad23dce8fd46c89`
MD5	`f5ea1bbb2701535280d5976943ad0785`
BLAKE2b-256	`aae1f33d29db3fdbaec834aeff754fba244380fbef11270ca8aef221237365ce`

Hashes for dreal-4.19.6.2-cp37-none-macosx_10_13_x86_64.whl

Hashes for dreal-4.19.6.2-cp37-none-macosx_10_13_x86_64.whl
Algorithm	Hash digest
SHA256	`932b04dea05bae444b5a1fa56ebd5a50d686cd750e8e580db424946b1478f832`
MD5	`9570cd30815814605d08a295cc44fd14`
BLAKE2b-256	`63cb2c8575db4a1026fea4da9a000db1d65bc438a80755bd3bddb209f28ed299`

Hashes for dreal-4.19.6.2-cp37-none-macosx_10_12_x86_64.whl

Hashes for dreal-4.19.6.2-cp37-none-macosx_10_12_x86_64.whl
Algorithm	Hash digest
SHA256	`0b21487cbb704883f8bfab6b871b33e05fb15ea4333c84a6ef23dd2e27b0acd1`
MD5	`94c8630145fd34f79a643190e8193d8b`
BLAKE2b-256	`5cdc89d6deea4511291934c85b0b6e6af2673520814354a1f2ddb896fe88abd6`

Hashes for dreal-4.19.6.2-cp36-none-manylinux1_x86_64.whl

Hashes for dreal-4.19.6.2-cp36-none-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`c61f7a9b9fa317239800fbf6f6c0aa78b5098af06c300ad01133b189e8464180`
MD5	`5ea807a96e16d8ecc830190f23980b38`
BLAKE2b-256	`34a31758f248ed7b3a6811864422d1833c3b42fa7895497557dc1aef4d998955`

Hashes for dreal-4.19.6.2-cp35-none-manylinux1_x86_64.whl

Hashes for dreal-4.19.6.2-cp35-none-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`5c5994f6ef55f10c10218e8bac5e8b781847d0d83b6732155932abdca67a07bf`
MD5	`700f9f48b58120fd1ab3cd8651e5612e`
BLAKE2b-256	`7572ff26826ad7150cb0ec9107037a664ebf9474206f5390cf0f1db89d30a8de`

Hashes for dreal-4.19.6.2-cp27-none-manylinux1_x86_64.whl

Hashes for dreal-4.19.6.2-cp27-none-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`70ba9c74a658dbad324665ced5a8543cdd56735e3a8c2eab0dd94fb2d47e77c4`
MD5	`c4966fc96bde41a1bce5b885dc52aaba`
BLAKE2b-256	`f5e84a9f4e64b6223336ff7d991fe932966d6ac77fce5f109d87c4238a0170bc`

Hashes for dreal-4.19.6.2-cp27-none-macosx_10_14_x86_64.whl

Hashes for dreal-4.19.6.2-cp27-none-macosx_10_14_x86_64.whl
Algorithm	Hash digest
SHA256	`f3ae78870def2ab4755a9f907a2d77955f8656c0bb2036e880a6edc148c17083`
MD5	`7a6e3891a8c041dea971a9c232949fb2`
BLAKE2b-256	`95dafded50cf6f289aa51b2b620a29a49f30ebe733c9ab14b04fae489ed6106a`

Hashes for dreal-4.19.6.2-cp27-none-macosx_10_13_x86_64.whl

Hashes for dreal-4.19.6.2-cp27-none-macosx_10_13_x86_64.whl
Algorithm	Hash digest
SHA256	`e07df8f228bb8d666bad0464f09eee1c6527625909d37b78125ffa9d0f6cd9d8`
MD5	`ae84746d6aa30788161a94f3aa27e8fe`
BLAKE2b-256	`cf6c8e6302e61d39b7bcffbdfe6cc204e53f6dfadfd9329b829433456104c9a5`

Hashes for dreal-4.19.6.2-cp27-none-macosx_10_12_x86_64.whl

Hashes for dreal-4.19.6.2-cp27-none-macosx_10_12_x86_64.whl
Algorithm	Hash digest
SHA256	`2df709f38eccae68681dd5b4c36c02583b890cabd832abf4a5e64456aca44099`
MD5	`b17cfbf7d7cde99106d6853d9850bb04`
BLAKE2b-256	`8c6048045be6dcb808d8ce391a2b2b3fe5bcb52c55840fcab267d5ed0fc8e290`