A family of crates for generating and interacting with SMTLIB.
smtlib: A high-level API for interacting with SMT solvers.smtlib-lowlevel: The low-level types for communicating with SMT solvers. Includes a SMTLIB2 parser, and an interactive way to have the SMT solver execute commands, interpret results, and respond to the results.