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.

This python package ships shared libraries for dReal (libdreal.so and _dreal_py.so). However, you still need to install dReal prerequisites such as IBEX and CLP in your system. To install them, please follow the instructions.

macOS 10.14 / 10.13 / 10.12

brew install dreal --only-dependencies

Ubuntu 18.04 / 16.04

git clone https://github.com/dreal/dreal4 && cd dreal4
sudo ./setup/ubuntu/`lsb_release -r -s`/install_prereqs.sh

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

4.19.4.4

This version

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.3.tar.gz (285.0 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.3-cp37-none-manylinux1_x86_64.whl (915.0 kB view details)

Uploaded CPython 3.7

dreal-4.19.4.3-cp37-none-macosx_10_14_x86_64.whl (860.2 kB view details)

Uploaded CPython 3.7macOS 10.14+ x86-64

dreal-4.19.4.3-cp37-none-macosx_10_13_x86_64.whl (865.6 kB view details)

Uploaded CPython 3.7macOS 10.13+ x86-64

dreal-4.19.4.3-cp37-none-macosx_10_12_x86_64.whl (852.1 kB view details)

Uploaded CPython 3.7macOS 10.12+ x86-64

dreal-4.19.4.3-cp36-none-manylinux1_x86_64.whl (919.2 kB view details)

Uploaded CPython 3.6

dreal-4.19.4.3-cp27-none-manylinux1_x86_64.whl (917.4 kB view details)

Uploaded CPython 2.7

dreal-4.19.4.3-cp27-none-macosx_10_14_x86_64.whl (861.5 kB view details)

Uploaded CPython 2.7macOS 10.14+ x86-64

dreal-4.19.4.3-cp27-none-macosx_10_13_x86_64.whl (867.6 kB view details)

Uploaded CPython 2.7macOS 10.13+ x86-64

dreal-4.19.4.3-cp27-none-macosx_10_12_x86_64.whl (854.0 kB view details)

Uploaded CPython 2.7macOS 10.12+ x86-64

File details

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

File metadata

  • Download URL: dreal-4.19.4.3.tar.gz
  • Upload date:
  • Size: 285.0 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.7.3

File hashes

Hashes for dreal-4.19.4.3.tar.gz
Algorithm Hash digest
SHA256 cdd8dca913d140ec4f9feb70fc1919ce69e107a01aee14bb04cd922f259da283
MD5 f3a1bb5b2792c68722934b02e713bb0e
BLAKE2b-256 eebf2a5bf973d1bcb99b812aa44c430a2efe079cc352d56ac87ae5e648c4367b

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.4.3-cp37-none-manylinux1_x86_64.whl
  • Upload date:
  • Size: 915.0 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.1

File hashes

Hashes for dreal-4.19.4.3-cp37-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 272693871221911186dd44038f550635df70445da2de1314817a7619c6fbf0f7
MD5 c126fcd6903aa925639ecd5c21226a2f
BLAKE2b-256 bd593f96e195565101a83002b134859a742181fe77154a0e3bfbbbb5dbe24658

See more details on using hashes here.

File details

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

File metadata

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

File hashes

Hashes for dreal-4.19.4.3-cp37-none-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 2ebc802520da7d23a7c0da62c1483cb9a92d000ffaedd26f6f723a4d84e71c0c
MD5 075ac95d3cd5d0c72ae7070c4400f1de
BLAKE2b-256 7f929ee82388d27fd78fca55e0061236726aee6182c366e5eead3602db5cec1f

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.4.3-cp37-none-macosx_10_13_x86_64.whl
  • Upload date:
  • Size: 865.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.3-cp37-none-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 c742b908858d5f8e73a9f2061937dde2e83299b30c6d886c015f14fa4deb2cef
MD5 dede9943385b0964a5e7518467d32c7c
BLAKE2b-256 e334845494f2c0ab05642c70f32ba2720e80f4438481cc3d5783a95c56469011

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.4.3-cp37-none-macosx_10_12_x86_64.whl
  • Upload date:
  • Size: 852.1 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.3-cp37-none-macosx_10_12_x86_64.whl
Algorithm Hash digest
SHA256 e6a9375adbd7b8b53257a740616185091a88ed6f86e7b580ad4de0619c6c25f9
MD5 1d2cb1aad857476b826c625ad8e75d8a
BLAKE2b-256 ec22a9b92e15bc8510531f200a38e5c3f93dc227eef3e1628c639d772f336fc9

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.4.3-cp36-none-manylinux1_x86_64.whl
  • Upload date:
  • Size: 919.2 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.3-cp36-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 66c49157d7bb489ae24dcba4d57cabec19f8921be82436a65895a8a5cab1142e
MD5 d77cc6610e42aa5ffce95c182126f6ae
BLAKE2b-256 5a6a5f1b035aa66a3d33979bb55869e40d33a93934f531206a4f2d0e0db6f127

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.4.3-cp27-none-manylinux1_x86_64.whl
  • Upload date:
  • Size: 917.4 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.7.1

File hashes

Hashes for dreal-4.19.4.3-cp27-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 5ecea6cbe51e278d9cae8faa9755bb80a50c186a1679c60fa0208de7c0635c41
MD5 c1874d3c9680c9d5a841386759cb72db
BLAKE2b-256 0ca3bff204ab29c3e81c31e6817f311e2f81add5fd984b1e2b64ff7cc11571fa

See more details on using hashes here.

File details

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

File metadata

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

File hashes

Hashes for dreal-4.19.4.3-cp27-none-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 7ea2859853ebf252ccac6bfbfb9c724a07087c839e6545d52e7ea5e58a8d499e
MD5 5f6b061563f2e7d9e6be0c133299d7aa
BLAKE2b-256 d4654e59e6fd057e3fb1171b0d82e416f2e85bdfc372149eb0350eb9f347fc10

See more details on using hashes here.

File details

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

File metadata

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

File hashes

Hashes for dreal-4.19.4.3-cp27-none-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 85b719a004c3e842680ac8743ca4dbda66d7c908c4406d60e7fb95922b9d05d2
MD5 615fe04a0198a8246c0166691df43dcf
BLAKE2b-256 2aa0b547707245d048c1a155612ee5e10fca03c10e55b6323f98131b5af89d2a

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.4.3-cp27-none-macosx_10_12_x86_64.whl
  • Upload date:
  • Size: 854.0 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.3-cp27-none-macosx_10_12_x86_64.whl
Algorithm Hash digest
SHA256 1765bda2b2dd7faffaf024c58058d873ade446caa98714acc2d3dbb82b7b2f1b
MD5 68c717a29f33bb223ab1f0ab5f24fd51
BLAKE2b-256 a36c1de3e117e385270dc17fa021b780feedf0d4e19fb8af8cb2d8da706ff1d2

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