Remove feature EVSIDS

shnarazk · Feb 7, 2025 · eb960db · eb960db
1 parent 8f16931
commit eb960db
Show file tree

Hide file tree

Showing 11 changed files with 160 additions and 590 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -26,7 +26,6 @@ default = [
         # "bi_clause_completion",
         # "clause_rewarding",
         "dynamic_restart_threshold",
-        "LRB_rewarding",
         "reason_side_rewarding",
         "rephase",
         "reward_annealing",
@@ -57,9 +56,7 @@ clause_vivification = []        # pre(in)-processor setting
 debug_propagation = []          # for debug
 dynamic_restart_threshold = []  # control restart spans like Glucose
 EMA_calibration = []            # each exponential moving average has a calbration value
-EVSIDS = []                     # Eponential Variable State Independent Decaying Sum
 just_used = []                  # Var and clause have 'just_used' flags
-LRB_rewarding = []              # Vearning Rate Based rewarding, a new var activity criteria
 maintain_watch_cache = []       # for DEBUG
 no_IO = []                      # to embed Splr into non-std environments
 platform_wasm = [

diff --git a/src/assign/evsids.rs b/src/assign/evsids.rs
diff --git a/src/assign/heap.rs b/src/assign/heap.rs
diff --git a/src/assign/learning_rate.rs b/src/assign/learning_rate.rs