dreal

SMT Solver for Nonlinear Theories of Reals

These details have not been verified by PyPI

Project links

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.15 / 10.14 / 10.13 + CPython 3.7
Linux + CPython 3.6 / 3.7 / 3.8

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.15 / 10.14 / 10.13

brew tap dreal-deps/ibex
brew tap dreal/dreal
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 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 10.15 / 10.14 / 10.13

brew tap dreal-deps/ibex
brew tap dreal/dreal
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

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

This version

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

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.9.1-cp39-none-manylinux1_x86_64.whl (1.1 MB view details)

Uploaded Oct 8, 2020 CPython 3.9

dreal-4.20.9.1-cp39-none-macosx_10_13_x86_64.whl (992.6 kB view details)

Uploaded Oct 8, 2020 CPython 3.9macOS 10.13+ x86-64

dreal-4.20.9.1-cp38-none-manylinux1_x86_64.whl (1.1 MB view details)

Uploaded Sep 17, 2020 CPython 3.8

dreal-4.20.9.1-cp38-none-macosx_10_13_x86_64.whl (992.8 kB view details)

Uploaded Sep 17, 2020 CPython 3.8macOS 10.13+ x86-64

dreal-4.20.9.1-cp37-none-manylinux1_x86_64.whl (1.1 MB view details)

Uploaded Sep 17, 2020 CPython 3.7

dreal-4.20.9.1-cp37-none-macosx_10_13_x86_64.whl (980.1 kB view details)

Uploaded Sep 17, 2020 CPython 3.7macOS 10.13+ x86-64

dreal-4.20.9.1-cp36-none-manylinux1_x86_64.whl (1.1 MB view details)

Uploaded Sep 17, 2020 CPython 3.6

dreal-4.20.9.1-cp36-none-macosx_10_13_x86_64.whl (980.1 kB view details)

Uploaded Sep 17, 2020 CPython 3.6macOS 10.13+ x86-64

File details

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

File metadata

Download URL: dreal-4.20.9.1-cp39-none-manylinux1_x86_64.whl
Upload date: Oct 8, 2020
Size: 1.1 MB
Tags: CPython 3.9
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.1.1 pkginfo/1.5.0.1 requests/2.23.0 setuptools/50.3.0 requests-toolbelt/0.9.1 tqdm/4.45.0 CPython/3.8.2

File hashes

Hashes for dreal-4.20.9.1-cp39-none-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`5df8833089e2ed10a5d7251115007253d14c8fb8b3368bc1ee515befc01af4b6`
MD5	`61548fbcf71140f5f3b3c29e9d371be7`
BLAKE2b-256	`9884a39c92547a119381e7f275a5f444f98e0051f237a5c99a432cd285a1f961`

See more details on using hashes here.

File details

Details for the file dreal-4.20.9.1-cp39-none-macosx_10_13_x86_64.whl.

File metadata

Download URL: dreal-4.20.9.1-cp39-none-macosx_10_13_x86_64.whl
Upload date: Oct 8, 2020
Size: 992.6 kB
Tags: CPython 3.9, macOS 10.13+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.2.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/49.2.0 requests-toolbelt/0.9.1 tqdm/4.50.2 CPython/3.8.5

File hashes

Hashes for dreal-4.20.9.1-cp39-none-macosx_10_13_x86_64.whl
Algorithm	Hash digest
SHA256	`9fd016dca1fe2b3a6746ca0579aaf02739cd3b4473ac9b4a417f0ab709d19172`
MD5	`f3d1de3edf225365201e43c013d4936d`
BLAKE2b-256	`0b6d2737c908224d263b1415c28281d11d24c89ce6bee59778b5d40d00a61c25`

See more details on using hashes here.

File details

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

File metadata

Download URL: dreal-4.20.9.1-cp38-none-manylinux1_x86_64.whl
Upload date: Sep 17, 2020
Size: 1.1 MB
Tags: CPython 3.8
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.2.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/50.3.0 requests-toolbelt/0.9.1 tqdm/4.48.0 CPython/3.8.3

File hashes

Hashes for dreal-4.20.9.1-cp38-none-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`5ea7af53976895bb1be714468ec00bf91ac2ddd8fa6aa9b8fb2892cc14a5f60b`
MD5	`def5d16876a91fde341d31fd86ccb45f`
BLAKE2b-256	`c3b480be8e7326a7836176db412fd0935a5ae1696a0370a69588b8cee7b23f2e`

See more details on using hashes here.

File details

Details for the file dreal-4.20.9.1-cp38-none-macosx_10_13_x86_64.whl.

File metadata

Download URL: dreal-4.20.9.1-cp38-none-macosx_10_13_x86_64.whl
Upload date: Sep 17, 2020
Size: 992.8 kB
Tags: CPython 3.8, macOS 10.13+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.2.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/50.3.0 requests-toolbelt/0.9.1 tqdm/4.48.0 CPython/3.8.3

File hashes

Hashes for dreal-4.20.9.1-cp38-none-macosx_10_13_x86_64.whl
Algorithm	Hash digest
SHA256	`b24c627378e02b60b470e4806197454ebda4a4302c66a0382f139e029872c819`
MD5	`73fe6a7ee203439d3274b875be617023`
BLAKE2b-256	`0ed4626ef75dda7745383699b95d2d173c0d4afd5771330a001938888a1289cf`

See more details on using hashes here.

File details

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

File metadata

Download URL: dreal-4.20.9.1-cp37-none-manylinux1_x86_64.whl
Upload date: Sep 17, 2020
Size: 1.1 MB
Tags: CPython 3.7
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.2.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/50.3.0 requests-toolbelt/0.9.1 tqdm/4.48.0 CPython/3.8.3

File hashes

Hashes for dreal-4.20.9.1-cp37-none-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`3949ead395402c737eb53286bd98eea9cb9782b6ce1ca7ceecfd9da59a03d733`
MD5	`4c1e80b476550367be2028dab01e45f1`
BLAKE2b-256	`b1df7145bbed34239789f04fa726b553924d849609c6dcc64bb81d8ebb7ab410`

See more details on using hashes here.

File details

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

File metadata

Download URL: dreal-4.20.9.1-cp37-none-macosx_10_13_x86_64.whl
Upload date: Sep 17, 2020
Size: 980.1 kB
Tags: CPython 3.7, macOS 10.13+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.2.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/50.3.0 requests-toolbelt/0.9.1 tqdm/4.48.0 CPython/3.8.3

File hashes

Hashes for dreal-4.20.9.1-cp37-none-macosx_10_13_x86_64.whl
Algorithm	Hash digest
SHA256	`8e3bab0c76fac8c5a35af6ba0d7cbe16b56b688cc01edaffc0ec84fec1cb13b3`
MD5	`00b381e65b5f591da68b4ee1021076b6`
BLAKE2b-256	`5222833673abd5cd12ff558e7dbfcefeec2b99db4c02dfdaf63f361a0ffb4451`

See more details on using hashes here.

File details

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

File metadata

Download URL: dreal-4.20.9.1-cp36-none-manylinux1_x86_64.whl
Upload date: Sep 17, 2020
Size: 1.1 MB
Tags: CPython 3.6
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.2.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/50.3.0 requests-toolbelt/0.9.1 tqdm/4.48.0 CPython/3.8.3

File hashes

Hashes for dreal-4.20.9.1-cp36-none-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`d759bb0cfd79b62b0e5d0b4d1f6c41dd334e4536ad31f645866508b6c3a0fab8`
MD5	`467e7bf07e13a7ac52e4090f1a35b74c`
BLAKE2b-256	`39c2be0ffdd513976ef7e4c49b162d18a234faeb7a48ebefcf20133410fd6b39`

See more details on using hashes here.

File details

Details for the file dreal-4.20.9.1-cp36-none-macosx_10_13_x86_64.whl.

File metadata

Download URL: dreal-4.20.9.1-cp36-none-macosx_10_13_x86_64.whl
Upload date: Sep 17, 2020
Size: 980.1 kB
Tags: CPython 3.6, macOS 10.13+ x86-64
Uploaded using Trusted Publishing? No
Uploaded via: twine/3.2.0 pkginfo/1.5.0.1 requests/2.24.0 setuptools/50.3.0 requests-toolbelt/0.9.1 tqdm/4.48.0 CPython/3.8.3

File hashes

Hashes for dreal-4.20.9.1-cp36-none-macosx_10_13_x86_64.whl
Algorithm	Hash digest
SHA256	`bb7283852910d797c3ce590a0df6298e1f4497b68b0890e2d676ca8f56feb65b`
MD5	`5ca4c5aa20f9ce97d771a41fb7cc9fc4`
BLAKE2b-256	`447566d0d6d12f4f3f24cacb927b3d1f331b7bed5b315172cb6e4953f11d7076`

See more details on using hashes here.

dreal 4.20.9.1

Navigation

Verified details

Maintainers

Unverified details

Project links

Meta

Classifiers

Project description

Precompiled Wheels

Build from Source

Project details

Verified details

Maintainers

Unverified details

Project links

Meta

Classifiers

Release history Release notifications | RSS feed

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