From b0c0f4d1f4437e05d581049fba5e20b238c9f2b1 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 3 Mar 2022 15:07:45 -0800 Subject: [PATCH] fix #5876 Signed-off-by: Nikolaj Bjorner --- src/api/z3_optimization.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/api/z3_optimization.h b/src/api/z3_optimization.h index 3cdacc46d..889db94ea 100644 --- a/src/api/z3_optimization.h +++ b/src/api/z3_optimization.h @@ -82,7 +82,7 @@ extern "C" { \param c - context \param o - optimization context \param a - formula - \param weight - a positive weight, penalty for violating soft constraint + \param weight - a penalty for violating soft constraint. Negative weights convert into rewards. \param id - optional identifier to group soft constraints \sa Z3_optimize_assert