[][src]Function varisat::clause::activity::rescale_limit

fn rescale_limit() -> f32

Rescale activities if any value exceeds this value.