fix #5876

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
Z3Prover · Mar 3, 2022 · b0c0f4d · b0c0f4d
1 parent 3e51b69
commit b0c0f4d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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