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.