Trait smtlib::Backend

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.

For more details read the backend module documentation.

Required Methods

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

Implementors

impl Backend for Cvc5Binary

impl Backend for Z3Binary