Function z3_sys::Z3_optimize_check [−][src]
pub unsafe extern "C" fn Z3_optimize_check(
c: Z3_context,
o: Z3_optimize,
num_assumptions: c_uint,
assumptions: *const Z3_ast
) -> Z3_lbool
Expand description
Check consistency and produce optimal values.
c
: - contexto
: - optimization contextnum_assumptions
: - number of additional assumptionsassumptions
: - the additional assumptions