Struct Kid
rsmt2
pub struct Kid { /* fields omitted */ }
A solver Child.
Child
impl Kid
fn new(conf: SolverConf) -> SmtRes<Self>
Creates a new solver kid.
fn default() -> SmtRes<Self>
Creates a solver kid with the default configuration. Mostly used in tests.
fn kill(self) -> SmtRes<()>