rsmt2
pub struct Kid { /* fields omitted */ }
A solver Child.
Child
impl Kid
fn mk(conf: SolverConf) -> Res<Self>
Creates a new solver kid.
fn kill(self) -> Res<()>
Kills the solver kid.