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

4.19.4.2

4.19.4.1

4.19.3.1

4.19.2.1

This version

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.18.11.4.tar.gz (901.7 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.18.11.4-py3-none-manylinux1_x86_64.whl (911.0 kB view details)

Uploaded Python 3

dreal-4.18.11.4-py3-none-macosx_10_14_x86_64.whl (792.1 kB view details)

Uploaded Python 3macOS 10.14+ x86-64

dreal-4.18.11.4-py3-none-macosx_10_13_x86_64.whl (792.0 kB view details)

Uploaded Python 3macOS 10.13+ x86-64

dreal-4.18.11.4-py3-none-macosx_10_12_x86_64.whl (782.5 kB view details)

Uploaded Python 3macOS 10.12+ x86-64

dreal-4.18.11.4-py2-none-manylinux1_x86_64.whl (911.8 kB view details)

Uploaded Python 2

dreal-4.18.11.4-py2-none-macosx_10_13_x86_64.whl (793.4 kB view details)

Uploaded Python 2macOS 10.13+ x86-64

dreal-4.18.11.4-py2-none-macosx_10_12_x86_64.whl (783.6 kB view details)

Uploaded Python 2macOS 10.12+ x86-64

File details

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

File metadata

  • Download URL: dreal-4.18.11.4.tar.gz
  • Upload date:
  • Size: 901.7 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.12.1 pkginfo/1.4.2 requests/2.9.1 setuptools/36.6.0 requests-toolbelt/0.8.0 tqdm/4.19.4 CPython/3.5.2

File hashes

Hashes for dreal-4.18.11.4.tar.gz
Algorithm Hash digest
SHA256 4888968112b9be5a035503e8eef69864a5e14556e5744c4006a28864f8aca6fe
MD5 4cf93e8644643e61b854bcee4c391fb4
BLAKE2b-256 f6260ffc4de3114ddaf53913100819b4c9b713f097354e95258dd3b60cc54102

See more details on using hashes here.

File details

Details for the file dreal-4.18.11.4-py3-none-manylinux1_x86_64.whl.

File metadata

  • Download URL: dreal-4.18.11.4-py3-none-manylinux1_x86_64.whl
  • Upload date:
  • Size: 911.0 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.12.1 pkginfo/1.4.2 requests/2.9.1 setuptools/36.6.0 requests-toolbelt/0.8.0 tqdm/4.19.4 CPython/3.5.2

File hashes

Hashes for dreal-4.18.11.4-py3-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 9bab8635bf04136e841470b1707aa8468608eb15b267a01b813d585c23a98b66
MD5 bf29d2ed6109033189adedb51281c513
BLAKE2b-256 14b586d5122a2d5a2ea041d65bc79bd5aae93ddb934be2ad1f547a8dfafaf556

See more details on using hashes here.

File details

Details for the file dreal-4.18.11.4-py3-none-macosx_10_14_x86_64.whl.

File metadata

  • Download URL: dreal-4.18.11.4-py3-none-macosx_10_14_x86_64.whl
  • Upload date:
  • Size: 792.1 kB
  • Tags: Python 3, macOS 10.14+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.12.1 pkginfo/1.4.2 requests/2.19.1 setuptools/40.6.2 requests-toolbelt/0.8.0 tqdm/4.28.1 CPython/2.7.15

File hashes

Hashes for dreal-4.18.11.4-py3-none-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 8ad10975a3ee309ce58fc2a98774b2e1301ac99cbba9e35411bf18aa69041ede
MD5 25b0c15beb22663e63e84c5a062fe45d
BLAKE2b-256 12daa31219ed1170f92331bfcdfe33c88892c99a202eb2d5834dfb9b789f482a

See more details on using hashes here.

File details

Details for the file dreal-4.18.11.4-py3-none-macosx_10_13_x86_64.whl.

File metadata

  • Download URL: dreal-4.18.11.4-py3-none-macosx_10_13_x86_64.whl
  • Upload date:
  • Size: 792.0 kB
  • Tags: Python 3, macOS 10.13+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.12.1 pkginfo/1.4.2 requests/2.20.1 setuptools/40.6.2 requests-toolbelt/0.8.0 tqdm/4.28.1 CPython/2.7.15

File hashes

Hashes for dreal-4.18.11.4-py3-none-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 19146cf29b23bdc33edb5d2ba46b60121acc63c47c7e3e3e1f95d6dd09c47e6a
MD5 f608c516cc992f2c29bac4ae0541569e
BLAKE2b-256 9f7071e59913219a07bc936aa939da5276fb7489a06f2a58ef3d8ba75b87f5c7

See more details on using hashes here.

File details

Details for the file dreal-4.18.11.4-py3-none-macosx_10_12_x86_64.whl.

File metadata

  • Download URL: dreal-4.18.11.4-py3-none-macosx_10_12_x86_64.whl
  • Upload date:
  • Size: 782.5 kB
  • Tags: Python 3, macOS 10.12+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.12.1 pkginfo/1.4.2 requests/2.18.4 setuptools/40.6.2 requests-toolbelt/0.8.0 tqdm/4.28.1 CPython/2.7.15

File hashes

Hashes for dreal-4.18.11.4-py3-none-macosx_10_12_x86_64.whl
Algorithm Hash digest
SHA256 30dc8287f31cc1cf99e37be4f8e8034be690f04bdba2a63301050f6d9fdc46da
MD5 b1ee0feba0bb0d6f1731d2a937575ea1
BLAKE2b-256 00e23b420f7eddf4b16e0e158a71d40fb142e2698c4d11bf84d9eefcacf67f25

See more details on using hashes here.

File details

Details for the file dreal-4.18.11.4-py2-none-manylinux1_x86_64.whl.

File metadata

  • Download URL: dreal-4.18.11.4-py2-none-manylinux1_x86_64.whl
  • Upload date:
  • Size: 911.8 kB
  • Tags: Python 2
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.12.1 pkginfo/1.4.2 requests/2.9.1 setuptools/36.6.0 requests-toolbelt/0.8.0 tqdm/4.19.4 CPython/3.5.2

File hashes

Hashes for dreal-4.18.11.4-py2-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 b9039cb6d9d3130a29bc393c11c965c72facded583033d018ef2f30b84cf4d82
MD5 bf0c9f914f95d50b048e1b8e744954a0
BLAKE2b-256 78151f838af758ae4c0023d83f40b90cc89707d58c15ee77bc9bebac054048a5

See more details on using hashes here.

File details

Details for the file dreal-4.18.11.4-py2-none-macosx_10_13_x86_64.whl.

File metadata

  • Download URL: dreal-4.18.11.4-py2-none-macosx_10_13_x86_64.whl
  • Upload date:
  • Size: 793.4 kB
  • Tags: Python 2, macOS 10.13+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.12.1 pkginfo/1.4.2 requests/2.20.1 setuptools/40.6.2 requests-toolbelt/0.8.0 tqdm/4.28.1 CPython/2.7.15

File hashes

Hashes for dreal-4.18.11.4-py2-none-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 dd9c362faa39564a91988aab3225606fad914e8a87495112a2071165fefba9fa
MD5 b2575210de59e15590cd82b7a9705833
BLAKE2b-256 ea6ed41c2a1fbecf70f59292a899729279d46a6dcb96dabf0655756d0445fccf

See more details on using hashes here.

File details

Details for the file dreal-4.18.11.4-py2-none-macosx_10_12_x86_64.whl.

File metadata

  • Download URL: dreal-4.18.11.4-py2-none-macosx_10_12_x86_64.whl
  • Upload date:
  • Size: 783.6 kB
  • Tags: Python 2, macOS 10.12+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.12.1 pkginfo/1.4.2 requests/2.18.4 setuptools/40.6.2 requests-toolbelt/0.8.0 tqdm/4.28.1 CPython/2.7.15

File hashes

Hashes for dreal-4.18.11.4-py2-none-macosx_10_12_x86_64.whl
Algorithm Hash digest
SHA256 32d3e5e1b1b7e262423a5acdba0a055805d6d95a4a2e280a033e2eb229392b19
MD5 7e035321d146dd57603f5b3b0f8b87ff
BLAKE2b-256 c62fdf021411e538aa0ed01691677b1e0fa4cf8d9521904b6fdd77e07ce6df05

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