semvec/pypi-packages huggingface dataset:
dreal 4.21.6.2
SMT Solver for Nonlinear Theories of Reals
Keywords: dreal,smt,theorem,prover

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 + CPython 3
 - Linux + CPython 3.7 / 3.8 / 3.9 / 3.10

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

    brew tap robotlocomotion/director
    brew tap dreal/dreal
    brew install dreal --only-dependencies

Ubuntu 22.04 / 20.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

    brew tap robotlocomotion/director
    brew tap dreal/dreal
    brew install dreal --only-dependencies --build-from-source

Ubuntu 22.04 / 20.04

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