Metadata-Version: 2.1
Name: dreal
Version: 4.21.6.2
Summary: SMT Solver for Nonlinear Theories of Reals
Home-page: https://github.com/dreal/dreal4
Author: Soonho Kong
Author-email: soonho.kong@gmail.com
License: UNKNOWN
Project-URL: Bug Reports, https://github.com/dreal/dreal4/issues
Project-URL: Source, https://github.com/dreal/dreal4
Keywords: dreal,smt,theorem,prover
Platform: UNKNOWN
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.6
Classifier: Programming Language :: Python :: 3.7
Classifier: Programming Language :: Python :: 3.8
Classifier: Programming Language :: Python :: 3.9
Classifier: Operating System :: POSIX :: Linux
Classifier: Operating System :: MacOS
Description-Content-Type: text/markdown
License-File: LICENSE

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



