pub unsafe extern "C" fn Z3_optimize_assert( c: Z3_context, o: Z3_optimize, a: Z3_ast)
Assert hard constraint to the optimization context.
Z3_optimize_assert_soft