dreal

SMT Solver for Nonlinear Theories of Reals

4.21.6.2

Source

PyPI

Maintainers: 1

dReal4: SMT Solver for Nonlinear Theories of Reals

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

Precompiled Wheels

We provide precompiled distributions (.whl) for the following environments:

macOS 11.0 / 10.15 / 10.14 + CPython 3.7
Linux + CPython 3.6 / 3.7 / 3.8 / 3.9

You still need to install dReal prerequisites such as IBEX and CLP in your system. To install them, please follow the instructions below:

macOS 11.0 / 10.15 / 10.14

brew tap dreal-deps/ibex
brew tap dreal/dreal
brew install dreal --only-dependencies

Ubuntu 20.04 / 18.04

curl -fsSL https://raw.githubusercontent.com/dreal/dreal4/master/setup/ubuntu/`lsb_release -r -s`/install.sh | sudo bash

Build from Source

If pip fails to find a precompiled distribution, it fetches dReal source and build it from scratch. You need to install the required packages to do so. To install them, please follow the instructions below:

macOS 11.0 / 10.15 / 10.14

brew tap dreal-deps/ibex
brew tap dreal/dreal
brew install dreal --only-dependencies --build-from-source

Ubuntu 20.04 / 18.04

curl -fsSL https://raw.githubusercontent.com/dreal/dreal4/master/setup/ubuntu/`lsb_release -r -s`/install_prereqs.sh | sudo bash

Keywords

FAQs

What is dreal?

Is dreal well maintained?

Did you know?

Socket for GitHub automatically highlights issues in each pull request and monitors the health of all your open source dependencies. Discover the contents of your packages and block harmful activity before you install or update your dependencies.

Install