solver method

Solver solver({
  1. LogicKind? logic,
})

Implementation

Solver solver({LogicKind? logic}) {
  if (logic == null) {
    return _getSolver(_z3.mk_solver());
  } else {
    return _getSolver(_z3.mk_solver_for_logic(
      _createSymbol(StringSym(logic.smtlibName)),
    ));
  }
}