Function rsmt2::solver
[−]
[src]
pub fn solver<'kid, Parser: ParseSmt2 + 'static>(kid: &'kid mut Kid,
parser: Parser)
-> Res<PlainSolver<'kid, Parser>>
Creates a solver from a kid.