reals非线性理论的smt求解器
dreal的Python项目详细描述
DREAL4:Reals非线性理论的SMT求解器
请访问https://github.com/dreal/dreal4。
预编译车轮
我们为以下环境提供预编译发行版(.whl
):
- MacOS 10.12/10.13/10.14+CPython 2.7/3.7
- Linux+CPython 2.7/3.5/3.6/3.7
您仍然需要在中安装dreal先决条件,如ibex和clp 你的系统。要安装它们,请按照以下说明操作:
MacOS 10.14/10.13/10.12
brew install dreal --only-dependencies
ubuntu 18.04/16.04
curl -fsSL https://raw.githubusercontent.com/dreal/dreal4/master/setup/ubuntu/`lsb_release -r -s`/install.sh | sudo bash
从源构建
如果pip
找不到预编译发行版,它将获取dreal
从零开始构建。您需要安装所需的
这样做的包。要安装它们,请按照说明操作
下面:
MacOS 10.14/10.13/10.12
brew install dreal --only-dependencies --build-from-source
ubuntu 18.04/16.04
curl -fsSL https://raw.githubusercontent.com/dreal/dreal4/master/setup/ubuntu/`lsb_release -r -s`/install_prereqs.sh | sudo bash