[−][src]Function varisat::clause::activity::rescale_limit
fn rescale_limit() -> f32
Rescale activities if any value exceeds this value.
fn rescale_limit() -> f32
Rescale activities if any value exceeds this value.