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

4.19.6.3

This version

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.2.tar.gz (298.2 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.2-cp37-none-manylinux1_x86_64.whl (1.0 MB view details)

Uploaded CPython 3.7

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

Uploaded CPython 3.7macOS 10.14+ x86-64

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

Uploaded CPython 3.7macOS 10.13+ x86-64

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

Uploaded CPython 3.7macOS 10.12+ x86-64

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

Uploaded CPython 3.6

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

Uploaded CPython 3.5

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

Uploaded CPython 2.7

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

Uploaded CPython 2.7macOS 10.14+ x86-64

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

Uploaded CPython 2.7macOS 10.13+ x86-64

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

Uploaded CPython 2.7macOS 10.12+ x86-64

File details

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

File metadata

  • Download URL: dreal-4.19.6.2.tar.gz
  • Upload date:
  • Size: 298.2 kB
  • Tags: Source
  • 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.2.tar.gz
Algorithm Hash digest
SHA256 c314ad1d5b59ddd9f7ae126f6635730aba1fb0fd4c5c2627053933ce1e66e1b6
MD5 5d4a74b3302c71575075af144e8ec292
BLAKE2b-256 c98381f3fd34aba6253c578083c52b2d357017b8ad672422e6b678b668a4c991

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.6.2-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.1

File hashes

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

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.6.2-cp37-none-macosx_10_14_x86_64.whl
  • Upload date:
  • Size: 898.2 kB
  • Tags: CPython 3.7, macOS 10.14+ 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.2-cp37-none-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 811449fb45ae93b9fd13f982c541dfde6c69f21ee21649fd6ad23dce8fd46c89
MD5 f5ea1bbb2701535280d5976943ad0785
BLAKE2b-256 aae1f33d29db3fdbaec834aeff754fba244380fbef11270ca8aef221237365ce

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.6.2-cp37-none-macosx_10_13_x86_64.whl
  • Upload date:
  • Size: 905.6 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.2-cp37-none-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 932b04dea05bae444b5a1fa56ebd5a50d686cd750e8e580db424946b1478f832
MD5 9570cd30815814605d08a295cc44fd14
BLAKE2b-256 63cb2c8575db4a1026fea4da9a000db1d65bc438a80755bd3bddb209f28ed299

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.6.2-cp37-none-macosx_10_12_x86_64.whl
  • Upload date:
  • Size: 897.4 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.2-cp37-none-macosx_10_12_x86_64.whl
Algorithm Hash digest
SHA256 0b21487cbb704883f8bfab6b871b33e05fb15ea4333c84a6ef23dd2e27b0acd1
MD5 94c8630145fd34f79a643190e8193d8b
BLAKE2b-256 5cdc89d6deea4511291934c85b0b6e6af2673520814354a1f2ddb896fe88abd6

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.6.2-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.1 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.6.7

File hashes

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

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.6.2-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.2-cp35-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 5c5994f6ef55f10c10218e8bac5e8b781847d0d83b6732155932abdca67a07bf
MD5 700f9f48b58120fd1ab3cd8651e5612e
BLAKE2b-256 7572ff26826ad7150cb0ec9107037a664ebf9474206f5390cf0f1db89d30a8de

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.6.2-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.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.6.2-cp27-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 70ba9c74a658dbad324665ced5a8543cdd56735e3a8c2eab0dd94fb2d47e77c4
MD5 c4966fc96bde41a1bce5b885dc52aaba
BLAKE2b-256 f5e84a9f4e64b6223336ff7d991fe932966d6ac77fce5f109d87c4238a0170bc

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.6.2-cp27-none-macosx_10_14_x86_64.whl
  • Upload date:
  • Size: 899.8 kB
  • Tags: CPython 2.7, macOS 10.14+ 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.2-cp27-none-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 f3ae78870def2ab4755a9f907a2d77955f8656c0bb2036e880a6edc148c17083
MD5 7a6e3891a8c041dea971a9c232949fb2
BLAKE2b-256 95dafded50cf6f289aa51b2b620a29a49f30ebe733c9ab14b04fae489ed6106a

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.6.2-cp27-none-macosx_10_13_x86_64.whl
  • Upload date:
  • Size: 907.2 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.2-cp27-none-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 e07df8f228bb8d666bad0464f09eee1c6527625909d37b78125ffa9d0f6cd9d8
MD5 ae84746d6aa30788161a94f3aa27e8fe
BLAKE2b-256 cf6c8e6302e61d39b7bcffbdfe6cc204e53f6dfadfd9329b829433456104c9a5

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.6.2-cp27-none-macosx_10_12_x86_64.whl
  • Upload date:
  • Size: 899.3 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.2-cp27-none-macosx_10_12_x86_64.whl
Algorithm Hash digest
SHA256 2df709f38eccae68681dd5b4c36c02583b890cabd832abf4a5e64456aca44099
MD5 b17cfbf7d7cde99106d6853d9850bb04
BLAKE2b-256 8c6048045be6dcb808d8ce391a2b2b3fe5bcb52c55840fcab267d5ed0fc8e290

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