1 个不稳定版本
| 0.1.0 | 2024 年 2 月 27 日 |
|---|
#5 在 #syntactic
30KB
785 行
smtlib-syntax
此软件包定义了类型，这些类型反映了 SMT-LIB 2.6 规范中定义的语法元素，以便简化代码生成。
类型反映了 SMT-LIB 2.6 规范中的大部分语法元素。旨在简化代码生成，而非解析。
| 0.1.0 | 2024 年 2 月 27 日 |
|---|
#5 在 #syntactic
30KB
785 行
此软件包定义了类型，这些类型反映了 SMT-LIB 2.6 规范中定义的语法元素，以便简化代码生成。