pub const VSIDS_DECAY_FACTOR: f64 = 0.95;
A constant for the decay factor used in VSIDS-like heuristics.