Function rsmt2::solver

pub fn solver<'kid, Parser: ParseSmt2 + 'static>(
    kid: &'kid mut Kid, 
    parser: Parser
) -> Res<PlainSolver<'kid, Parser>>

Creates a solver from a kid.