mk_optimize method

Z3_optimize mk_optimize(
  1. Z3_context c
)

@name Optimization facilities / /**@{/ /** \brief Create a new optimize context.

\remark User must use #Z3_optimize_inc_ref and #Z3_optimize_dec_ref to manage optimize objects. Even if the context was created using #Z3_mk_context instead of #Z3_mk_context_rc.

def_API('Z3_mk_optimize', OPTIMIZE, (_in(CONTEXT), ))

Implementation

Z3_optimize mk_optimize(
  Z3_context c,
) {
  return _mk_optimize(
    c,
  );
}