Function rsmt2::solver

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

Creates a solver from a kid.