pub trait Backend { // Required method fn exec(&mut self, cmd: &Command) -> Result<String, Error>; }
The Backend trait is used to interact with SMT solver using the SMT-LIB language.
Backend
For more details read the backend module documentation.
backend