mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 18:05:21 +00:00
parent
82a89120b0
commit
2dcf36e96c
|
@ -300,6 +300,7 @@ namespace opt {
|
|||
}
|
||||
return is_sat;
|
||||
}
|
||||
s.assert_expr(asms);
|
||||
IF_VERBOSE(1, verbose_stream() << "(optimize:sat)\n");
|
||||
TRACE("opt", model_smt2_pp(tout, m, *m_model, 0););
|
||||
m_optsmt.setup(*m_opt_solver.get());
|
||||
|
|
Loading…
Reference in a new issue