Expand description
§smtlib-lowlevel
A low-level API for interacting with SMT solvers.
Modules§
- ast
- Generated by
cargo xtask ast, do not edit by hand. - backend
- Backends are concrete solvers which can be communicated with using the SMT-LIB language.
- lexicon