Skip to main content

SMT Solver for Nonlinear Theories of Reals

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


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 hashes)

Uploaded Source

Built Distributions

dreal-4.18.11.4-py3-none-manylinux1_x86_64.whl (911.0 kB view hashes)

Uploaded Python 3

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

Uploaded Python 3 macOS 10.14+ x86-64

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

Uploaded Python 3 macOS 10.13+ x86-64

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

Uploaded Python 3 macOS 10.12+ x86-64

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

Uploaded Python 2

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

Uploaded Python 2 macOS 10.13+ x86-64

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

Uploaded Python 2 macOS 10.12+ x86-64

Supported by

AWS AWS Cloud computing and Security Sponsor Datadog Datadog Monitoring Fastly Fastly CDN Google Google Download Analytics Microsoft Microsoft PSF Sponsor Pingdom Pingdom Monitoring Sentry Sentry Error logging StatusPage StatusPage Status page