dreal 4.21.6.2
Last updated:
0 purchases
Description:
dreal 4.21.6.2
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
License:
For personal and professional use. You cannot resell or redistribute these repositories in their original state.
Files In This Product: (if this is empty don't purchase this product)
Customer Reviews
There are no reviews.
