Method init

smt/smt.cpp:32–35

}

void smt_initializer::init() {
  ctx.init();
  solver_init();
}

void smt_initializer::destroy() {
  solver_destroy();