dreal

SMT Solver for Nonlinear Theories of Reals

These details have not been verified by PyPI

Project links

GitHub Statistics

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Project description

dReal4: SMT Solver for Nonlinear Theories of Reals

Please visit https://github.com/dreal/dreal4.

Project details

These details have not been verified by PyPI

Project links

GitHub Statistics

View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery

Release history Release notifications | RSS feed

4.21.6.2

Jun 19, 2021

4.21.6.1

Jun 3, 2021

4.20.12.1

Dec 11, 2020

4.20.9.1

Sep 17, 2020

4.20.8.1

Aug 1, 2020

4.20.7.1

Jul 22, 2020

4.20.4.2

Apr 26, 2020

4.20.4.1

Apr 20, 2020

4.20.3.2

Mar 15, 2020

4.19.10.3

Dec 29, 2019

4.19.10.2

Oct 8, 2019

4.19.8.1

Aug 26, 2019

4.19.6.3

Jun 17, 2019

4.19.6.2

Jun 14, 2019

4.19.4.4.1

May 21, 2019

4.19.4.4

Apr 12, 2019

4.19.4.3

Apr 8, 2019

4.19.4.2

Apr 5, 2019

4.19.4.1

Apr 2, 2019

4.19.3.1

Mar 11, 2019

4.19.2.1

Feb 12, 2019

4.18.11.4

Nov 30, 2018

4.18.11.3

Nov 18, 2018

This version

4.18.11.2.7

Nov 15, 2018

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.2.7.tar.gz (772.0 kB view hashes)

Uploaded Nov 15, 2018 Source

Built Distributions

dreal-4.18.11.2.7-py3-none-manylinux1_x86_64.whl (903.6 kB view hashes)

Uploaded Nov 15, 2018 Python 3

dreal-4.18.11.2.7-py3-none-macosx_10_14_x86_64.whl (782.1 kB view hashes)

Uploaded Nov 15, 2018 Python 3 macOS 10.14+ x86-64

dreal-4.18.11.2.7-py3-none-macosx_10_13_x86_64.whl (782.0 kB view hashes)

Uploaded Nov 15, 2018 Python 3 macOS 10.13+ x86-64

dreal-4.18.11.2.7-py3-none-macosx_10_12_x86_64.whl (771.7 kB view hashes)

Uploaded Nov 15, 2018 Python 3 macOS 10.12+ x86-64

dreal-4.18.11.2.7-py2-none-manylinux1_x86_64.whl (905.4 kB view hashes)

Uploaded Nov 15, 2018 Python 2

dreal-4.18.11.2.7-py2-none-macosx_10_13_x86_64.whl (783.5 kB view hashes)

Uploaded Nov 15, 2018 Python 2 macOS 10.13+ x86-64

dreal-4.18.11.2.7-py2-none-macosx_10_12_x86_64.whl (772.7 kB view hashes)

Uploaded Nov 15, 2018 Python 2 macOS 10.12+ x86-64

Hashes for dreal-4.18.11.2.7.tar.gz

Hashes for dreal-4.18.11.2.7.tar.gz
Algorithm	Hash digest
SHA256	`62fe0a1b50d07390e6740487d59bc12f8a792f367938d8e215bf65f67de4b3e8`
MD5	`34277d6695cd14251f02e185dc9ca8dc`
BLAKE2b-256	`1854c58edd49535743438e79fd0c42cdca5da9d8cb7d437fd643049bdff7144b`

Hashes for dreal-4.18.11.2.7-py3-none-manylinux1_x86_64.whl

Hashes for dreal-4.18.11.2.7-py3-none-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`1bc11a6e25e92e6c83d10d2b2fa4bd72fe7f466274be95fd44f445097d521d15`
MD5	`fd3173cbdccba2b3f4b06c887e2d7306`
BLAKE2b-256	`d40dcb726b4d5fa09e27b25663deacc2804bee31bc6c78d1f7971c635a34d5cc`

Hashes for dreal-4.18.11.2.7-py3-none-macosx_10_14_x86_64.whl

Hashes for dreal-4.18.11.2.7-py3-none-macosx_10_14_x86_64.whl
Algorithm	Hash digest
SHA256	`6614bfebd8272c24cd2f9703d99d865f729b5e8e77811eec37e437e413df0d6b`
MD5	`10d0d19ca6d91bcb57b3d4684e020ded`
BLAKE2b-256	`60f2e7275808478c93f1727edd7a531e4cf2ec80449b48d4bee118c3e853b7b0`

Hashes for dreal-4.18.11.2.7-py3-none-macosx_10_13_x86_64.whl

Hashes for dreal-4.18.11.2.7-py3-none-macosx_10_13_x86_64.whl
Algorithm	Hash digest
SHA256	`9db4aac4d5814cc5f2a226fcce785c8f4569f7caceebdcbd43f3aca2dc7842c8`
MD5	`47fb3bebbdf639d0b3c783c02e10fcc4`
BLAKE2b-256	`025f85d39259bfdf328446905b600355a84e75622331ee000405d94c3fdcb161`

Hashes for dreal-4.18.11.2.7-py3-none-macosx_10_12_x86_64.whl

Hashes for dreal-4.18.11.2.7-py3-none-macosx_10_12_x86_64.whl
Algorithm	Hash digest
SHA256	`86a8a6b846abb8eb5ea3c68f2153e280764a4b6fb89b5df861bbea584c6832e3`
MD5	`1b80de045208b4fd72f8dd629c1dafcc`
BLAKE2b-256	`7d2f0c759d1f5c778aaab99d92bdf5d843c79a724810c3cca9f6e2ab8f5b2886`

Hashes for dreal-4.18.11.2.7-py2-none-manylinux1_x86_64.whl

Hashes for dreal-4.18.11.2.7-py2-none-manylinux1_x86_64.whl
Algorithm	Hash digest
SHA256	`c6d88ec1e05ca666374559b1b8035a8aaa0e4f25480f4d52e661c5d7584be4c2`
MD5	`46fa299960248ed68cbde81b32364d3b`
BLAKE2b-256	`5dd5df563d2769e7a1d7fc14e6ca32937b367f023b02d3cd4a796ce41f097006`

Hashes for dreal-4.18.11.2.7-py2-none-macosx_10_13_x86_64.whl

Hashes for dreal-4.18.11.2.7-py2-none-macosx_10_13_x86_64.whl
Algorithm	Hash digest
SHA256	`2b2f86a580c08dc9405b417acd005cc03b8031c58bab3c2686fa536f78a67567`
MD5	`85d54ad5c9ac693c74cd845b910448c2`
BLAKE2b-256	`fad5b9e6f81a98e82d20f06d2f80f5ea6968ac5169ea0a77185797c808ec8a0c`

Hashes for dreal-4.18.11.2.7-py2-none-macosx_10_12_x86_64.whl

Hashes for dreal-4.18.11.2.7-py2-none-macosx_10_12_x86_64.whl
Algorithm	Hash digest
SHA256	`cbe7a05f2afb7d036d403619500b4dc15c60c02dc063a3516917decd08467b0e`
MD5	`f4115f17cc4dbd2bf973361419710c20`
BLAKE2b-256	`a74765e1b5e20c372dc0a92788e99d407ab30b7140b754976a444a98186848d2`