Skip to main content

MAX_VAR_DECAY

easy_sat_rs::constants

Constant MAX_VAR_DECAY 

Source 
pub const MAX_VAR_DECAY: f64 = 0.95;