feat: adding back flag for turning off clause minimisation + fixing l…

…ocation of statistic calculation + removing redundant files
ConSol-Lab · Nov 12, 2024 · 1f49128 · 1f49128
1 parent 33392a9
commit 1f49128
Show file tree

Hide file tree

Showing 6 changed files with 37 additions and 827 deletions.
diff --git a/pumpkin-solver/src/branching/value_selection/phase_saving.rs b/pumpkin-solver/src/branching/value_selection/phase_saving.rs