Trait smtlib::backend::Backend

source · 
pub trait Backend {
    // Required method
    fn exec(&mut self, cmd: &Command) -> Result<String, Error>;
}
Expand description

The Backend trait is used to interact with SMT solver using the SMT-LIB language.

For more details read the backend module documentation.

Required Methods§

source

fn exec(&mut self, cmd: &Command) -> Result<String, Error>

Implementors§