Function Z3_optimize_check

Source

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: - context
o: - optimization context
num_assumptions: - number of additional assumptions
assumptions: - the additional assumptions

Function Z3_optimize_checkCopy item path

§See also:

Function Z3_optimize_check