1 unstable release
0.1.0 | Feb 27, 2024 |
---|
#2 in #syntactic
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.
Types mirroring most of the syntactic elements from the SMT-LIB 2.6 spec. Meant for code generation, not parsing.
0.1.0 | Feb 27, 2024 |
---|
#2 in #syntactic
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.