From c015412e4ac7b0b83567456df0b9b038ce2ca909 Mon Sep 17 00:00:00 2001 From: "Narazaki, Shuji" Date: Fri, 20 Sep 2024 08:09:22 +0900 Subject: [PATCH] modified: ChangeLog.md --- ChangeLog.md | 1 + 1 file changed, 1 insertion(+) diff --git a/ChangeLog.md b/ChangeLog.md index d0256e673..f8c169344 100644 --- a/ChangeLog.md +++ b/ChangeLog.md @@ -22,6 +22,7 @@ And clause reduction uses a cutoff value based on Luby value. - `Solver` has `search_stage` method to investigate its internal periodically, without modifing solver code. - Splr becomes a deterministic solver again +- Extend LBD to float values by weighting number of literals (only in clause reduction phase) ## 0.17.3, 2024-03-26