Metadata-Version: 2.1
Name: dreal
Version: 4.18.11.3
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
Description: dReal4: SMT Solver for Nonlinear Theories of Reals
        
        Please visit https://github.com/dreal/dreal4.
        
        This python package ships shared libraries for dReal (`libdreal.so`
        and `_dreal_py.so`). However, you still need to install dReal
        prerequisites such as IBEX and CLP in your system. To install them,
        please follow the instructions.
        
        macOS 10.14 / 10.13 / 10.12
        
            brew install dreal --only-dependencies
        
        Ubuntu 18.04 / 16.04
        
            git clone https://github.com/dreal/dreal4 && cd dreal4
            sudo ./setup/ubuntu/`lsb_release -r -s`/install_prereqs.sh
        
Keywords: dreal,smt,theorem,prover
Platform: UNKNOWN
Classifier: License :: OSI Approved :: Apache Software License
Classifier: Programming Language :: Python :: 2
Classifier: Programming Language :: Python :: 2.7
Classifier: Programming Language :: Python :: 3
Classifier: Programming Language :: Python :: 3.4
Classifier: Programming Language :: Python :: 3.5
Classifier: Programming Language :: Python :: 3.6
Classifier: Programming Language :: Python :: 3.7
Classifier: Operating System :: POSIX :: Linux
Classifier: Operating System :: MacOS
Description-Content-Type: text/markdown
