1 unstable release
| 0.1.0 | Feb 27, 2024 |
|---|
#7 in #smt-lib
30KB
785 lines
smtlib-syntax
This crate defines types that mirror the syntactic elements defined in the SMT-LIB 2.6 spec, in order to make code generation easier.
| 0.1.0 | Feb 27, 2024 |
|---|
#7 in #smt-lib
30KB
785 lines
This crate defines types that mirror the syntactic elements defined in the SMT-LIB 2.6 spec, in order to make code generation easier.