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
Structs§
- Driver
- Stderr
Logger - A simple debug logger that logs SMT commands and responses to stderr.
- Storage