dReal4: SMT Solver for Nonlinear Theories of Reals
Please visit https://github.com/dreal/dreal4.
We provide precompiled distributions (.whl) for the following environments:
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
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
FAQs
SMT Solver for Nonlinear Theories of Reals
We found that dreal demonstrated a healthy version release cadence and project activity because the last version was released less than a year ago. It has 1 open source maintainer collaborating on the project.
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.
Security News
PyPI confirms no security flaws were exploited in the Ultralytics supply chain attack and highlights improvements for safer package publishing.
Security News
Research
The Socket Research Team breaks down a malicious wrapper package that uses obfuscation to harvest credentials and exfiltrate sensitive data.
Research
Security News
Attackers used a malicious npm package typosquatting a popular ESLint plugin to steal sensitive data, execute commands, and exploit developer systems.