mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-19 12:23:38 +00:00
Code Activity

fix #5876

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2022-03-03 15:07:45 -08:00
parent 3e51b69a9a
commit b0c0f4d1f4
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/api/z3_optimization.h
View file

@ -82,7 +82,7 @@ extern "C" {
\param c - context \param c - context
\param o - optimization context \param o - optimization context
\param a - formula \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 \param id - optional identifier to group soft constraints
\sa Z3_optimize_assert \sa Z3_optimize_assert