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

This version

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.2.1.tar.gz (843.3 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.2.1-py3-none-manylinux1_x86_64.whl (933.4 kB view details)

Uploaded Python 3

dreal-4.19.2.1-py3-none-macosx_10_14_x86_64.whl (850.6 kB view details)

Uploaded Python 3macOS 10.14+ x86-64

dreal-4.19.2.1-py3-none-macosx_10_13_x86_64.whl (834.7 kB view details)

Uploaded Python 3macOS 10.13+ x86-64

dreal-4.19.2.1-py3-none-macosx_10_12_x86_64.whl (809.6 kB view details)

Uploaded Python 3macOS 10.12+ x86-64

dreal-4.19.2.1-py2-none-manylinux1_x86_64.whl (934.9 kB view details)

Uploaded Python 2

dreal-4.19.2.1-py2-none-macosx_10_14_x86_64.whl (852.0 kB view details)

Uploaded Python 2macOS 10.14+ x86-64

dreal-4.19.2.1-py2-none-macosx_10_13_x86_64.whl (836.2 kB view details)

Uploaded Python 2macOS 10.13+ x86-64

dreal-4.19.2.1-py2-none-macosx_10_12_x86_64.whl (811.1 kB view details)

Uploaded Python 2macOS 10.12+ x86-64

File details

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

File metadata

  • Download URL: dreal-4.19.2.1.tar.gz
  • Upload date:
  • Size: 843.3 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.12.1 pkginfo/1.4.2 requests/2.19.1 setuptools/40.8.0 requests-toolbelt/0.8.0 tqdm/4.28.1 CPython/2.7.15

File hashes

Hashes for dreal-4.19.2.1.tar.gz
Algorithm Hash digest
SHA256 fec4397ac9d9a3adeecff848a5616abecd98d4c56d31fa4b74db9e8a42f55b34
MD5 789169f74d29a10fce793b7041dfa848
BLAKE2b-256 24dfe676c7496195eba3bcb0a2721c6d88129157b645c9e23b6cf28ab304189d

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.2.1-py3-none-manylinux1_x86_64.whl
  • Upload date:
  • Size: 933.4 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.12.1 pkginfo/1.5.0.1 requests/2.21.0 setuptools/40.8.0 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.5.2

File hashes

Hashes for dreal-4.19.2.1-py3-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 bd8b092f439555bb505aee19a8d9b46e8d1916148627ed4cb5f9128ee03ce1fc
MD5 429a7142f7794f8f1a96ffb90845cff4
BLAKE2b-256 4fdf93ab1b5dbbefe77d8fadfe8e8cb17bd0d68a0cdfb96814dd78dabf654fa4

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.2.1-py3-none-macosx_10_14_x86_64.whl
  • Upload date:
  • Size: 850.6 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.8.0 requests-toolbelt/0.8.0 tqdm/4.28.1 CPython/2.7.15

File hashes

Hashes for dreal-4.19.2.1-py3-none-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 5e440008bae40779953f543fb160ce87dcbd5e3be7eaea233c472fa139f12439
MD5 4993d3b451769df91c9ea3ee288ad6b4
BLAKE2b-256 fb74bed0c4e02a33c92177648f5c148c28cd2ef50b6ff98635be5285755676d6

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.2.1-py3-none-macosx_10_13_x86_64.whl
  • Upload date:
  • Size: 834.7 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.8.0 requests-toolbelt/0.8.0 tqdm/4.28.1 CPython/2.7.15

File hashes

Hashes for dreal-4.19.2.1-py3-none-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 cb8b481665609493e4445b6667cf73f8a888444ffc4e8df8a78cd8e71c2d383f
MD5 c43c4af06f06f1da1335b64033228df2
BLAKE2b-256 5905030b9b1209775811239e0d55cc56e1ea58f4942e07a91d165bac8bf8f1b1

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.2.1-py3-none-macosx_10_12_x86_64.whl
  • Upload date:
  • Size: 809.6 kB
  • Tags: Python 3, macOS 10.12+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.12.1 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.2

File hashes

Hashes for dreal-4.19.2.1-py3-none-macosx_10_12_x86_64.whl
Algorithm Hash digest
SHA256 e76ca2806240becd4a405ba608fba91be7a1dfffaa4591c94280506fff018ab9
MD5 35b89658bc35223262ac0e96e1cfb1a9
BLAKE2b-256 7492dc428872d40edb93dce47a4710bf75f63402108bba4c8d600e574956bb9d

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.2.1-py2-none-manylinux1_x86_64.whl
  • Upload date:
  • Size: 934.9 kB
  • Tags: Python 2
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.12.1 pkginfo/1.5.0.1 requests/2.21.0 setuptools/40.8.0 requests-toolbelt/0.9.1 tqdm/4.31.1 CPython/3.5.2

File hashes

Hashes for dreal-4.19.2.1-py2-none-manylinux1_x86_64.whl
Algorithm Hash digest
SHA256 361bd442c74cb011e38aae5a223fd461f222f89c541f25e13116706c76f66b82
MD5 f6b414a222b3d80f95757e247fccdb6f
BLAKE2b-256 ef1ff6d87d1beda293c1a819ca639ae49b5a36d3176628c39c3aa7c0fff2e882

See more details on using hashes here.

File details

Details for the file dreal-4.19.2.1-py2-none-macosx_10_14_x86_64.whl.

File metadata

  • Download URL: dreal-4.19.2.1-py2-none-macosx_10_14_x86_64.whl
  • Upload date:
  • Size: 852.0 kB
  • Tags: Python 2, 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.8.0 requests-toolbelt/0.8.0 tqdm/4.28.1 CPython/2.7.15

File hashes

Hashes for dreal-4.19.2.1-py2-none-macosx_10_14_x86_64.whl
Algorithm Hash digest
SHA256 1f8c5ee387c856d43679573ac8154f143a42bdd4d0afea13232fc5a44a2318a2
MD5 20587efc19f0952b039c216463e1d73c
BLAKE2b-256 14417bf049a16697ee7f6ce3e9e25efd9c50536bff89773580bbc5bd2d611495

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.2.1-py2-none-macosx_10_13_x86_64.whl
  • Upload date:
  • Size: 836.2 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.8.0 requests-toolbelt/0.8.0 tqdm/4.28.1 CPython/2.7.15

File hashes

Hashes for dreal-4.19.2.1-py2-none-macosx_10_13_x86_64.whl
Algorithm Hash digest
SHA256 bb5fb922b2002510d989d9e462dbdd2a359e781b5653b54fe91e036038c1ea26
MD5 f6451e2ab59565b0daa5ae8e049b4b04
BLAKE2b-256 dffa9c6d0456ca232c07cf3e9ee613e5e09fba3e75c2de420cd2dc048b4acb61

See more details on using hashes here.

File details

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

File metadata

  • Download URL: dreal-4.19.2.1-py2-none-macosx_10_12_x86_64.whl
  • Upload date:
  • Size: 811.1 kB
  • Tags: Python 2, macOS 10.12+ x86-64
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/1.12.1 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.2

File hashes

Hashes for dreal-4.19.2.1-py2-none-macosx_10_12_x86_64.whl
Algorithm Hash digest
SHA256 07649fc6272bfadea1245f480e279ba9e60f525fe7140e38cd7f834f2ba79ddc
MD5 65b1632cc81a5399ac08519c982367c4
BLAKE2b-256 8e043f321a4b5ee404b392771e39291d9b54037f85ef6c5a56ae896db3980be9

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