smtlib::backend

Trait 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§