用于实数非线性理论的 SMT 求解器
项目描述
dReal4：用于实数非线性理论的 SMT 求解器
请访问https://github.com/dreal/dreal4。
预编译的轮子
我们为.whl以下环境提供预编译发行版 ( )：
- macOS 11.0 / 10.15 / 10.14 + CPython 3.7
- Linux + CPython 3.6 / 3.7 / 3.8 / 3.9
您仍然需要在系统中安装 dReal 必备软件，例如 IBEX 和 CLP。要安装它们，请按照以下说明进行操作：
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
从源代码构建
如果pip找不到预编译的发行版，它会获取 dReal 源代码并从头开始构建它。您需要安装所需的软件包才能执行此操作。要安装它们，请按照以下说明进行操作：
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
关
dreal -4.21.6.2-cp39-none-macosx_10_14_x86_64.whl 的哈希值
| 算法 | 哈希摘要 | |
|---|---|---|
| SHA256 | 23038b65853d3d543f61328718f71fd749925e0841f9643564ecb2bb541d8c76 |
|
| MD5 | 7e9bf7dd2caa610d52963de0aa5db7a1 |
|
| 布莱克2-256 | d4def5642a3dff2aa03fe47f72f36ad10f134dbecceab7402277f0c9f5da2882 |
关
dreal -4.21.6.2-cp38-none-macosx_10_14_x86_64.whl 的哈希值
| 算法 | 哈希摘要 | |
|---|---|---|
| SHA256 | 56697bd1a795b366b7fc4eef3c2466e6bd353866abbc0af1d900e56d14a50699 |
|
| MD5 | 8f762ec2542fb3f2d10512ea64be2227 |
|
| 布莱克2-256 | eaf7d0e7fea5f94de5ee7ddbe7056383910b71bcee39c31f6316045f84116192 |
关
dreal -4.21.6.2-cp37-none-macosx_10_14_x86_64.whl 的哈希值
| 算法 | 哈希摘要 | |
|---|---|---|
| SHA256 | 178e4df49348fac5a7d306f906815c8c085e4787476a00317e09a6f5e6e2dc3d |
|
| MD5 | 2bef13b534d6f4f9b7a9aa843c4f9bf3 |
|
| 布莱克2-256 | 5bd67d01aba5500b384ecc045dec17cbdb972c745317d5452cb99d27650e9d9d |
关
dreal -4.21.6.2-cp36-none-macosx_10_14_x86_64.whl 的哈希值
| 算法 | 哈希摘要 | |
|---|---|---|
| SHA256 | 8d914964dc9bd0d9c003490c16c2d937ca6f63b7b91f93ff225fc25fa296bfe0 |
|
| MD5 | d9822bccf6f5d56d0c1b208f33e5bd36 |
|
| 布莱克2-256 | ed3436ab6a71291a6dc1b93877c70da9870b0cc9a04333a1ad10b774d140539a |