Function Z3_optimize_to_string

pub unsafe extern "C" fn Z3_optimize_to_string(
    c: Z3_context,
    o: Z3_optimize,
) -> Z3_string

Print the current context as a string.

• c: - context.
• o: - optimization context.

See also:

• Z3_optimize_from_file
• Z3_optimize_from_string