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

4.19.6.2

4.19.4.4.1

This version

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.4.4.tar.gz (238.4 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.4.4-cp37-none-manylinux1_x86_64.whl (949.1 kB view details)

Uploaded CPython 3.7

dreal-4.19.4.4-cp37-none-macosx_10_14_x86_64.whl (865.3 kB view details)

Uploaded CPython 3.7macOS 10.14+ x86-64

dreal-4.19.4.4-cp37-none-macosx_10_13_x86_64.whl (869.6 kB view details)

Uploaded CPython 3.7macOS 10.13+ x86-64

dreal-4.19.4.4-cp37-none-macosx_10_12_x86_64.whl (855.9 kB view details)

Uploaded CPython 3.7macOS 10.12+ x86-64

dreal-4.19.4.4-cp36-none-manylinux1_x86_64.whl (924.9 kB view details)

Uploaded CPython 3.6

dreal-4.19.4.4-cp35-none-manylinux1_x86_64.whl (921.5 kB view details)

Uploaded CPython 3.5

dreal-4.19.4.4-cp27-none-manylinux1_x86_64.whl (922.8 kB view details)

Uploaded CPython 2.7

dreal-4.19.4.4-cp27-none-macosx_10_14_x86_64.whl (866.6 kB view details)

Uploaded CPython 2.7macOS 10.14+ x86-64

dreal-4.19.4.4-cp27-none-macosx_10_13_x86_64.whl (871.4 kB view details)

Uploaded CPython 2.7macOS 10.13+ x86-64

dreal-4.19.4.4-cp27-none-macosx_10_12_x86_64.whl (857.6 kB view details)

Uploaded CPython 2.7macOS 10.12+ x86-64

File details

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

File metadata

  • Download URL: dreal-4.19.4.4.tar.gz
  • Upload date:
  • Size: 238.4 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.0 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.5.2

File hashes

Hashes for dreal-4.19.4.4.tar.gz
Algorithm Hash digest
SHA256 e91080d6059478cbf1d9f973af7614d660204af09502192c9fe7ce779f80fc83
MD5 a12dbba67fd0a188e98384d4bd401b5d
BLAKE2b-256 04ac4bef3ec0ae66c63dcc15b0f0a5f0604a8626f1b46a7f9a1e87dbd58148e3

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.4.4-cp37-none-manylinux1_x86_64.whl
  • Upload date:
  • Size: 949.1 kB
  • 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.0 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.3

File hashes

Hashes for dreal-4.19.4.4-cp37-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 bb0e8739cf3ff011589ab14c5f486dc979459787028e9aa0798d81d5196a29a8
MD5 2fa92e686d855434a9ce5b82c9f98d86
BLAKE2b-256 09682da9d51c4a977a0d1c75041834a2e34178340d3caae66ed3a6ce2a054905

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.4.4-cp37-none-macosx_10_14_x86_64.whl
  • Upload date:
  • Size: 865.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.0 requests-toolbelt/0.8.0 tqdm/4.28.1 CPython/3.7.3

File hashes

Hashes for dreal-4.19.4.4-cp37-none-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 daf78c699c6a13f7e450eea832ba481f4abf362a7ef9667ea317e201df84cacb
MD5 94ff23c15dcfcc8192be1d28db42a319
BLAKE2b-256 444c24fe14da5a244e6eac7b4437fcc2dabf20e9a47d7d8c7aeb87a661514ca5

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.4.4-cp37-none-macosx_10_13_x86_64.whl
  • Upload date:
  • Size: 869.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.0 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.3

File hashes

Hashes for dreal-4.19.4.4-cp37-none-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 93cc803a3471c7d37e5189a45463bdcf6aa715947c82b06a3be7b6899d847b79
MD5 5c7a3513899ad7b7953c5b5b8d704388
BLAKE2b-256 c2a76275c58032ac886ea61b2de9bfb7b4b452b0fecce7314c779d07bd03b589

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.4.4-cp37-none-macosx_10_12_x86_64.whl
  • Upload date:
  • Size: 855.9 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.0 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.3

File hashes

Hashes for dreal-4.19.4.4-cp37-none-macosx_10_12_x86_64.whl
Algorithm Hash digest
SHA256 8548c8de89b2b032347eb7a07c1fd0c6cf642c679a41d40866d69f8421d2d5ee
MD5 2cadbcaf156562a4f87e8a5cad1d0a67
BLAKE2b-256 9c5c4d21ba7922e15f58eca9fe282ff27f23c56af2998f17de93efcd92c3ef39

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.4.4-cp36-none-manylinux1_x86_64.whl
  • Upload date:
  • Size: 924.9 kB
  • 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.7

File hashes

Hashes for dreal-4.19.4.4-cp36-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 b32aff58a03831762803acfdb2140d97a7485248a0ca9af273738a396bcbd59f
MD5 2a93c8e04f36fa83c3a4a44089aee467
BLAKE2b-256 36bc2a13afe31a6516c1c8c1e8523f8f3c47380204fe7b3da5f49494ef1ccd71

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.4.4-cp35-none-manylinux1_x86_64.whl
  • Upload date:
  • Size: 921.5 kB
  • Tags: CPython 3.5
  • 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.5.2

File hashes

Hashes for dreal-4.19.4.4-cp35-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 2cff8b136700baf87d78608f35442e0cc915e0dc9162282ccb554046295be749
MD5 5fde5a199f64607795d4313fbe3e1d49
BLAKE2b-256 468b22e11635101cc5189e7237d06507fb9824f432453745e7d86f56acfe9dab

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.4.4-cp27-none-manylinux1_x86_64.whl
  • Upload date:
  • Size: 922.8 kB
  • 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.0 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.5.2

File hashes

Hashes for dreal-4.19.4.4-cp27-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 1c5e710fd8618db95a8172f87829e25beef57cffdee19b511f664b7277a90844
MD5 f7c6ca73a4e81cd5f644fbe7ddbb95dd
BLAKE2b-256 06eb7e90c2e615ef3b1e66bfb0f4e347dfd2909a1faae542f623a07cf296b216

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.4.4-cp27-none-macosx_10_14_x86_64.whl
  • Upload date:
  • Size: 866.6 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.0 requests-toolbelt/0.8.0 tqdm/4.28.1 CPython/3.7.3

File hashes

Hashes for dreal-4.19.4.4-cp27-none-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 7fa778c5b62f7b0409a183100cf7eb14187b9915956d67f75916d2d0e6fac304
MD5 7abfce6dc91257fe7113d602144f587c
BLAKE2b-256 a2c6fa1ec1be68f642bd736d063d338e241c58b05818e29b028fc9dc330df1ce

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.4.4-cp27-none-macosx_10_13_x86_64.whl
  • Upload date:
  • Size: 871.4 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.0 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.3

File hashes

Hashes for dreal-4.19.4.4-cp27-none-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 4340b229d4f14f48001afe52fc3055e4e3ed70b274679adc88bc9b8fc7c2870d
MD5 9dd5937f0787eacd2341704b27e76358
BLAKE2b-256 738b4316083d30d65d2fb24c1433d766ede327a1b1f4cef1d4884f037dfcc772

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.4.4-cp27-none-macosx_10_12_x86_64.whl
  • Upload date:
  • Size: 857.6 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.0 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.7.3

File hashes

Hashes for dreal-4.19.4.4-cp27-none-macosx_10_12_x86_64.whl
Algorithm Hash digest
SHA256 d3ddd2117d43fbabcfa1506a757a2324ee705dddadeb84b5ae15aaca04e916bc
MD5 5268323cd645911e2fbca165e49b9b2b
BLAKE2b-256 8960b54db92de28150633084bd0cdb3e948f4a9b47d1d187535d5b9ea17f5c30

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