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

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

This version

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

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

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

Uploaded CPython 3.8

dreal-4.20.7.1-cp38-none-macosx_10_13_x86_64.whl (991.0 kB view details)

Uploaded CPython 3.8macOS 10.13+ x86-64

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

Uploaded CPython 3.7

dreal-4.20.7.1-cp37-none-macosx_10_13_x86_64.whl (978.4 kB view details)

Uploaded CPython 3.7macOS 10.13+ x86-64

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

Uploaded CPython 3.6

dreal-4.20.7.1-cp36-none-macosx_10_13_x86_64.whl (978.3 kB view details)

Uploaded CPython 3.6macOS 10.13+ x86-64

dreal-4.20.7.1-cp35-none-manylinux1_x86_64.whl (1.1 MB view details)

Uploaded CPython 3.5

dreal-4.20.7.1-cp35-none-macosx_10_13_x86_64.whl (978.3 kB view details)

Uploaded CPython 3.5macOS 10.13+ x86-64

File details

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

File metadata

  • Download URL: dreal-4.20.7.1-cp38-none-manylinux1_x86_64.whl
  • Upload date:
  • 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/49.2.0 requests-toolbelt/0.9.1 tqdm/4.48.0 CPython/3.8.3

File hashes

Hashes for dreal-4.20.7.1-cp38-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 826e8c198912d5bb363596670c061246b3e29b8ea7c01fd88f6079a8ff78c24d
MD5 df76aea63352df19433cf9e85e8e021f
BLAKE2b-256 182f4edfaa8c645f149eabb382313fc5508bc65c69ee05dbbe3054f4a6883553

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.20.7.1-cp38-none-macosx_10_13_x86_64.whl
  • Upload date:
  • Size: 991.0 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/49.2.0 requests-toolbelt/0.9.1 tqdm/4.48.0 CPython/3.8.3

File hashes

Hashes for dreal-4.20.7.1-cp38-none-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 35e55c6cf2450bc413ccd2ef6772f4e49dea18ef0947642a5aa3928eb64f19be
MD5 3c9d76800fea6fa35be4a1392d9f8bad
BLAKE2b-256 64a2a7a7c7edb5b54aa9c18e25d22ebf7868b3a540975756232aa79e03c5a49f

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.20.7.1-cp37-none-manylinux1_x86_64.whl
  • Upload date:
  • 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/49.2.0 requests-toolbelt/0.9.1 tqdm/4.48.0 CPython/3.8.3

File hashes

Hashes for dreal-4.20.7.1-cp37-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 142f1953acb7e404d9825a985d3e1935c89d20b76efb976984ff08796c727f47
MD5 b1d863d2dbb73441674978135a57f949
BLAKE2b-256 5b92fb73e2fb1fbbe87664e39a32738ae5bfc2e16af023f65627e58d1a73843b

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.20.7.1-cp37-none-macosx_10_13_x86_64.whl
  • Upload date:
  • Size: 978.4 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/49.2.0 requests-toolbelt/0.9.1 tqdm/4.48.0 CPython/3.8.3

File hashes

Hashes for dreal-4.20.7.1-cp37-none-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 4005465c692b855c829edf0f786524e9f42182663eeb14c4ddab1f495ab48f90
MD5 fe54b2b67aa86a96e3f7626e7ebb9769
BLAKE2b-256 561ad1ce61546bfbe8db29f5b5846a2bc14b3df16eeec6a2673b4d690f3a08d5

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.20.7.1-cp36-none-manylinux1_x86_64.whl
  • Upload date:
  • 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/49.2.0 requests-toolbelt/0.9.1 tqdm/4.48.0 CPython/3.8.3

File hashes

Hashes for dreal-4.20.7.1-cp36-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 a394526fec56ab5fd59c95e5aaa6624e34fc69f10fe509934558d138d3afda0d
MD5 c3d29067fd5e5ba7d67c4f68b8579439
BLAKE2b-256 bc08fc9a25ecf88a955254dd7bc0142e97c509e429c946f97bf06e5195dd6d0a

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.20.7.1-cp36-none-macosx_10_13_x86_64.whl
  • Upload date:
  • Size: 978.3 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/49.2.0 requests-toolbelt/0.9.1 tqdm/4.48.0 CPython/3.8.3

File hashes

Hashes for dreal-4.20.7.1-cp36-none-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 b130a766897fcfcc02d8a159c791b4e6118a29adc68c49e9e0a36df9236dd835
MD5 6d191293bbbc7dee521852b66a5f64f3
BLAKE2b-256 54c6776ab8d83dc41e83b5cc383e0cffc9d4c3f618a20b1876b3acae4c203ce2

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.20.7.1-cp35-none-manylinux1_x86_64.whl
  • Upload date:
  • Size: 1.1 MB
  • Tags: CPython 3.5
  • 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.48.0 CPython/3.8.3

File hashes

Hashes for dreal-4.20.7.1-cp35-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 ee693ac7dc466ff1e8fdad6302d5953e68776481b56c5dd2d8cf040536eb0a11
MD5 75b3c9cbd8890cdaee1b784ee34a34b3
BLAKE2b-256 39eb368a72341c2071b60b453d9d92fa1d0f73e2fcd7b8350381f4ca3a0b688a

See more details on using hashes here.

File details

Details for the file dreal-4.20.7.1-cp35-none-macosx_10_13_x86_64.whl.

File metadata

  • Download URL: dreal-4.20.7.1-cp35-none-macosx_10_13_x86_64.whl
  • Upload date:
  • Size: 978.3 kB
  • Tags: CPython 3.5, 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.48.0 CPython/3.8.3

File hashes

Hashes for dreal-4.20.7.1-cp35-none-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 3a6cb58c2cafeb311a4989f532f14a684940d4b853c2ebba8283ad6a8687b4ca
MD5 176597f4e0cbb856eeea1eb36f5d281a
BLAKE2b-256 e0baf7cd1d6827507eb558a7f971298e960a2ba6781e32c1557e5f092c374ca4

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