9 个版本
| 0.2.0 | 2024 年 5 月 2 日 |
|---|---|
| 0.1.8 | 2023 年 12 月 26 日 |
| 0.1.6 | 2023 年 11 月 15 日 |
| 0.1.5 | 2023 年 1 月 16 日 |
| 0.1.1 | 2022 年 12 月 30 日 |
#1378 在 算法
66 每月下载量
在 smtlib 中使用
165KB
4K SLoC
smtlib-lowlevel
与 SMT 求解器交互的低级 API
这是 smtlib 的低级对应版本。它包括与 SMT 求解器通信的低级类型。这意味着一个 SMTLIB2 解析器和一种与 SMT 求解器交互、解释结果并响应结果的方法。
lib.rs:
smtlib-lowlevel
与 SMT 求解器交互的低级 API。
依赖项
~3–16MB
~197K SLoC