# 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.