From 62a8512401fc168a2cb38412aaac49d704c37438 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 26 Aug 2024 09:49:53 -0700 Subject: [PATCH] use reward as proxy for score Signed-off-by: Nikolaj Bjorner --- src/ast/sls/sat_ddfw.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ast/sls/sat_ddfw.h b/src/ast/sls/sat_ddfw.h index 81b5cae20..206289708 100644 --- a/src/ast/sls/sat_ddfw.h +++ b/src/ast/sls/sat_ddfw.h @@ -155,7 +155,7 @@ namespace sat { inline void inc_reward(literal lit, double w) { reward(lit.var()) += w; } - inline void dec_reward(literal lit, double w) { if (reward(lit.var()) >= w) reward(lit.var()) -= w; } + inline void dec_reward(literal lit, double w) { reward(lit.var()) -= w; } void check_with_plugin(); void check_without_plugin();