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 kill(self) -> SmtRes<()>
Kills the solver kid.