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

4.19.4.3

This version

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.2.tar.gz (225.1 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.2-cp37-none-manylinux1_x86_64.whl (942.4 kB view details)

Uploaded CPython 3.7

dreal-4.19.4.2-cp37-none-macosx_10_14_x86_64.whl (860.4 kB view details)

Uploaded CPython 3.7macOS 10.14+ x86-64

dreal-4.19.4.2-cp37-none-macosx_10_13_x86_64.whl (864.9 kB view details)

Uploaded CPython 3.7macOS 10.13+ x86-64

dreal-4.19.4.2-cp37-none-macosx_10_12_x86_64.whl (851.5 kB view details)

Uploaded CPython 3.7macOS 10.12+ x86-64

dreal-4.19.4.2-cp36-none-manylinux1_x86_64.whl (918.9 kB view details)

Uploaded CPython 3.6

dreal-4.19.4.2-cp35-none-manylinux1_x86_64.whl (914.2 kB view details)

Uploaded CPython 3.5

dreal-4.19.4.2-cp27-none-manylinux1_x86_64.whl (916.8 kB view details)

Uploaded CPython 2.7

dreal-4.19.4.2-cp27-none-macosx_10_14_x86_64.whl (861.7 kB view details)

Uploaded CPython 2.7macOS 10.14+ x86-64

dreal-4.19.4.2-cp27-none-macosx_10_13_x86_64.whl (866.8 kB view details)

Uploaded CPython 2.7macOS 10.13+ x86-64

dreal-4.19.4.2-cp27-none-macosx_10_12_x86_64.whl (853.4 kB view details)

Uploaded CPython 2.7macOS 10.12+ x86-64

File details

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

File metadata

  • Download URL: dreal-4.19.4.2.tar.gz
  • Upload date:
  • Size: 225.1 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.2.tar.gz
Algorithm Hash digest
SHA256 5a1caff27caa7132f4bae3edab687d6276b20ebc53e3160c68102e760fe40dc1
MD5 53833106cc93925fb1ba1a03353f3c4b
BLAKE2b-256 bec45ca1627aefdda23c21e82b91ccff14f88ec4b60480bceaed4779956b6865

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.4.2-cp37-none-manylinux1_x86_64.whl
  • Upload date:
  • Size: 942.4 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.2-cp37-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 6073288b0da034a08ac5aea99e2e85dfb52272c8db50ed0bb652187bbf0da6b6
MD5 22ec7f388a1b1f1563b5ef6716f03662
BLAKE2b-256 f22bd7227f46033d58a1180ea131e486549a49d5eb8a682be25a42789a2cde14

See more details on using hashes here.

File details

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

File metadata

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

File hashes

Hashes for dreal-4.19.4.2-cp37-none-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 eb2aab3f103b3aea98afb4d9f341b5340966e5ba6ee78f05ac5a6c7af2e51945
MD5 38df041442f2742d4ea28035ea393938
BLAKE2b-256 5fee848eab8106f3c445ceb8d2f093773b71a636813cc176d7ab82143dde091e

See more details on using hashes here.

File details

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

File metadata

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

File hashes

Hashes for dreal-4.19.4.2-cp37-none-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 a2e70178c9e06fbe42d25d1de21972b7af788b752a9174524e9fd8824c8ad83d
MD5 1f0a62caa41ab54901363ee0fdbc0385
BLAKE2b-256 ff9574de05924eccddb32929914c9aaf52f880ea2fd4cd3ef7ed6c2be0edff9d

See more details on using hashes here.

File details

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

File metadata

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

File hashes

Hashes for dreal-4.19.4.2-cp37-none-macosx_10_12_x86_64.whl
Algorithm Hash digest
SHA256 322bec3be9ef2f4b0cd213df7b10d292512c1b7bf258f01e3ff858f310ceaa29
MD5 6312bb7af5cea8a9bbdef13c06fc0b80
BLAKE2b-256 8ae37f2063106d0d4dd8458f9de294f42a4717b5e9aee1e00e41f0bc0faaee14

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.4.2-cp36-none-manylinux1_x86_64.whl
  • Upload date:
  • Size: 918.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.2-cp36-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 4d3f0b677518e92868b93e69652cecfbb48a207acf13d972f06a881b084b61e5
MD5 0871b3c444cb986e746e24eda800a35c
BLAKE2b-256 0dd45cf25a6a904c92592be63ea9709b4f63d5e47daf84904652e73d0e8ad3f9

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.4.2-cp35-none-manylinux1_x86_64.whl
  • Upload date:
  • Size: 914.2 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.2-cp35-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 53e7274842353943f04cd1a7dbc0f5c438250a04bd2b0d63bcca6bbcd1914166
MD5 47deae4ae56eb52cd46c1f1787dd4e6d
BLAKE2b-256 16397f3e10a4908c42d995d1e872171dbd688f15470a70092d525726bbf83943

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.4.2-cp27-none-manylinux1_x86_64.whl
  • Upload date:
  • Size: 916.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.2-cp27-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 c3487cc82ce6f366b29f54dd0802c6bc1515c8515eae6e054231d1c299446f63
MD5 568297bc1bb4669aa4178752e5b7dae5
BLAKE2b-256 3632f39fa2406631606a18542050f28dff0e60a086398df36ebda54b2fd58770

See more details on using hashes here.

File details

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

File metadata

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

File hashes

Hashes for dreal-4.19.4.2-cp27-none-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 b61c6085583aacc731354005a33dba332245daf4a17e89e9f28a31e90b930dd6
MD5 4da60a71ac740cc0d87804f20384537b
BLAKE2b-256 b20aee7f9c37c8868afc3469262d0440c7be8d97f178262c92b083d85b0b933f

See more details on using hashes here.

File details

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

File metadata

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

File hashes

Hashes for dreal-4.19.4.2-cp27-none-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 dc2c491f67cf2c257b35c4279bdd2c30877dfe72d2caa2c9a9a6305ca320a4d2
MD5 48523619946deb8203d958c58d6a2a31
BLAKE2b-256 d9ff980e97cb9cae3ab8874833e83db69a57754cfb9fcded86c616c768a55c5e

See more details on using hashes here.

File details

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

File metadata

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

File hashes

Hashes for dreal-4.19.4.2-cp27-none-macosx_10_12_x86_64.whl
Algorithm Hash digest
SHA256 0f49177926f8f87ae1edc59a966bbdc4e28cf8bc976523f8f02d177c182be161
MD5 6fa4fae0ff171e4b3dbf19318943ca0d
BLAKE2b-256 42d47766621f817744a3f6db60d0c787ad814d18ed457fe806ff3397509fa691

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