为deal提供动力的z3求解器（定理证明器）。
项目描述
deal-solver
z3-powered solver (theorem prover) for deal.
python3 -m pip install deal-solver
命令行界面
有关CLI使用的说明，请参阅 deal文档。求解器本身不提供CLI。
API
Deal-solver是专门为deal创建的。因此，如果您想将其与另一个工具一起使用，您必须模拟deal。尽管如此，这并不难。请参阅 tests/helpers.py 中的 TestTheorem 实现。
项目状态
这是一个实验性项目。它只支持语法和类型的有限子集。尽管如此，它适用于某些简单情况。所以，试试看，它是免费的。
下载文件
下载适合您平台的项目文件。如果您不确定选择哪个，请了解更多关于 安装包 的信息。
源分布
deal_solver-0.1.2.tar.gz (46.8 kB 查看哈希值)
构建版本
deal_solver-0.1.2-py3-none-any.whl (48.0 kB 查看哈希值)
关闭
deal_solver-0.1.2.tar.gz 的哈希值
| 算法 | 哈希摘要 | |
|---|---|---|
| SHA256 | 7feac330346fd28f41b04ad62da9b1f1419aa7d9e37eaa4e5098de9ff2d5d66f |
|
| MD5 | 34a57cec93d2e6301c5585739407e587 |
|
| BLAKE2b-256 | 6c47af5b3cb61f455d8102a6af1e5b11ef515e0073d0ec9a3cc0218ac87e6fba |
关闭
deal_solver-0.1.2-py3-none-any.whl 的哈希值
| 算法 | 哈希摘要 | |
|---|---|---|
| SHA256 | 0d657a28368acd416f4031d3f42a86cc7db1b6ce3c08621e9895c6f41a85f3ec |
|
| MD5 | cefe396297d8c4cce0a3bf81af52c80e |
|
| BLAKE2b-256 | 8e7f7716ba99fd0199a6c33d12ae537866da4dcabc61668091875a10343b8b41 |