mk_model method

Z3_model mk_model(Z3_context c)

\brief Create a fresh model object. It has reference count 0.

def_API('Z3_mk_model', MODEL, (_in(CONTEXT),))

Implementation

Z3_model mk_model(
  Z3_context c,
) {
  return _mk_model(
    c,
  );
}