Skip to main content

DEFAULT_VAR_DECAY

easy_sat_rs::constants

Constant DEFAULT_VAR_DECAY 

Source 
pub const DEFAULT_VAR_DECAY: f64 = 0.8;