SMT Solver for Nonlinear Theories of Reals

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for soonho from gravatar.com soonho

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: Apache Software License
  • Author: Soonho Kong
  • Tags dreal , smt , theorem , prover
Classifiers
Report project as malware

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

Verified details

These details have been verified by PyPI
Maintainers
Avatar for soonho from gravatar.com soonho

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: Apache Software License
  • Author: Soonho Kong
  • Tags dreal , smt , theorem , prover
Classifiers

Release history Release notifications | RSS feed

4.21.6.2

4.21.6.1

4.20.12.1

4.20.9.1

4.20.8.1

4.20.7.1

4.20.4.2

4.20.4.1

4.20.3.2

4.19.10.3

4.19.10.2

4.19.8.1

This version

4.19.6.3

4.19.6.2

4.19.4.4.1

4.19.4.4

4.19.4.3

4.19.4.2

4.19.4.1

4.19.3.1

4.19.2.1

4.18.11.4

4.18.11.3

4.18.11.2.7

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.3.tar.gz (297.9 kB view details)

Uploaded Source

Built Distributions

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

dreal-4.19.6.3-cp37-none-manylinux1_x86_64.whl (1.0 MB view details)

Uploaded CPython 3.7

dreal-4.19.6.3-cp37-none-macosx_10_14_x86_64.whl (910.3 kB view details)

Uploaded CPython 3.7macOS 10.14+ x86-64

dreal-4.19.6.3-cp37-none-macosx_10_13_x86_64.whl (916.4 kB view details)

Uploaded CPython 3.7macOS 10.13+ x86-64

dreal-4.19.6.3-cp37-none-macosx_10_12_x86_64.whl (909.2 kB view details)

Uploaded CPython 3.7macOS 10.12+ x86-64

dreal-4.19.6.3-cp36-none-manylinux1_x86_64.whl (1.0 MB view details)

Uploaded CPython 3.6

dreal-4.19.6.3-cp35-none-manylinux1_x86_64.whl (1.0 MB view details)

Uploaded CPython 3.5

dreal-4.19.6.3-cp27-none-manylinux1_x86_64.whl (1.0 MB view details)

Uploaded CPython 2.7

dreal-4.19.6.3-cp27-none-macosx_10_14_x86_64.whl (911.7 kB view details)

Uploaded CPython 2.7macOS 10.14+ x86-64

dreal-4.19.6.3-cp27-none-macosx_10_13_x86_64.whl (918.6 kB view details)

Uploaded CPython 2.7macOS 10.13+ x86-64

dreal-4.19.6.3-cp27-none-macosx_10_12_x86_64.whl (911.2 kB view details)

Uploaded CPython 2.7macOS 10.12+ x86-64

File details

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

File metadata

  • Download URL: dreal-4.19.6.3.tar.gz
  • Upload date:
  • Size: 297.9 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.6.3.tar.gz
Algorithm Hash digest
SHA256 8b6926583dfc2e9ab162612dfbe7a356ad10923a97a1c30ea0e4cffdcb4cf46e
MD5 cbd1bf4fe261aa59a1d9404fc5c0a259
BLAKE2b-256 d7501b0ec98ae2a24e8e7316eed040d2ec020280b661805e4b0da0896e2c6333

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.6.3-cp37-none-manylinux1_x86_64.whl
  • Upload date:
  • Size: 1.0 MB
  • 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.3

File hashes

Hashes for dreal-4.19.6.3-cp37-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 31bec8bdb39efcffa58bd5c6ffe141a34e6ce7b4a22cdfbfd7afd3d436c1ce90
MD5 fbb22646101ca4b9550a40502a6abebd
BLAKE2b-256 40bd5ec6b3f5252508840b70efde5d9f8041cf7368edfc8cd8d8cdd6ff7e212c

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.6.3-cp37-none-macosx_10_14_x86_64.whl
  • Upload date:
  • Size: 910.3 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.6.3-cp37-none-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 365c9b63c345285dacd2368cd15fa7d4d21a4bb96f37f957f653234fb85677e5
MD5 f30cb9ef964973c2e3ace36d76c7ce25
BLAKE2b-256 94c76d576867105fd7819d3c35d095190aa0fbd94ba34d6a3a94a9ecd1bdcd46

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.6.3-cp37-none-macosx_10_13_x86_64.whl
  • Upload date:
  • Size: 916.4 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.6.3-cp37-none-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 9c841620bb7dd33a127102becce52717226ab71ec114d13342c6c90c2286015f
MD5 87cab648269a56e986b0c1b773fe64ec
BLAKE2b-256 d0012a1f36ba7042a658abe846865c40795774854c194a9cc6c2f6f596931a80

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.6.3-cp37-none-macosx_10_12_x86_64.whl
  • Upload date:
  • Size: 909.2 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.6.3-cp37-none-macosx_10_12_x86_64.whl
Algorithm Hash digest
SHA256 606169a63fc9d752e06bc6839913086b52b3d4f12adbaa6508c14fccce8caea2
MD5 6f82bf68b39776c9533dcbaaf04809af
BLAKE2b-256 3fb4fcf5f0967093f998a1a8ae323d7d38898cec9e44aa68b1d05f2e7cad49d5

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.6.3-cp36-none-manylinux1_x86_64.whl
  • Upload date:
  • Size: 1.0 MB
  • 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.0 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.6.8

File hashes

Hashes for dreal-4.19.6.3-cp36-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 febeb364559eb0739535f8c58fc9216eaed31d0208fcdb468be28171eaf901c5
MD5 44b286fa04c2f2cea96cabe452366a7a
BLAKE2b-256 ed777ea663f7586a56be76be9068acb02b42dc20ae73354c5f723491355833ed

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.6.3-cp35-none-manylinux1_x86_64.whl
  • Upload date:
  • Size: 1.0 MB
  • 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.6.3-cp35-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 4a8ce28cb99b5fae21fa05c1b6711ca7212249d93c59e957bf9f207ffae46283
MD5 74a09b41a3c52dcd38431fd56d829cd6
BLAKE2b-256 5bab6e2f96754749ebe1c44797465d30573f879fd2491195c3cd39a218b5bf59

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.6.3-cp27-none-manylinux1_x86_64.whl
  • Upload date:
  • Size: 1.0 MB
  • Tags: CPython 2.7
  • 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.6.3-cp27-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 5af6771ee5dba030d2edc60995bb5d128ff998f8866ad0b8e1b48171810a67c4
MD5 3f6c417a0eaeccacf8e0deb3a6af02c6
BLAKE2b-256 b8e40d0bfe3abc294f8b3f1aae6744bff7ca465311cf181a523b6ad4fa8f70df

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.6.3-cp27-none-macosx_10_14_x86_64.whl
  • Upload date:
  • Size: 911.7 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.6.3-cp27-none-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 35fb7af4fca2919df70a12148dbe3de50872919c935451c0464a7568574d7219
MD5 af90b3bae9aa2978c6b2e4097d8c358c
BLAKE2b-256 2708f70f9c23774b9cce93439af3215d1190f844d819dd85cb00462de0b25406

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.6.3-cp27-none-macosx_10_13_x86_64.whl
  • Upload date:
  • Size: 918.6 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.6.3-cp27-none-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 623ad939e3e2e5bddd6cd17fe49c35bbf69d2ba01dd6049116ca1afba92f485c
MD5 a9cace69ea09e9882cc7d9b4d6e157c3
BLAKE2b-256 982dc44e22d842b908f957eec25c0857811bec15f6b45ab201397d2ca0e12c51

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.6.3-cp27-none-macosx_10_12_x86_64.whl
  • Upload date:
  • Size: 911.2 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.6.3-cp27-none-macosx_10_12_x86_64.whl
Algorithm Hash digest
SHA256 349eed55890123f8e12c0c0c8fb6605929ae6cd922c76265d55a2c0aa81eba11
MD5 65214ad350d798ce513574ca641502cc
BLAKE2b-256 642b60e73f962d54e716b4b68e15759e477b46ad78deffa3ecad788c5f5764a9

See more details on using hashes here.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page