Closed Whatisthisname closed 4 months ago
In reachability alg get_invalidly_un_blocked, a new argument is added:
get_invalidly_un_blocked
early_stop_when_determined: Option<usize>.
early_stop_when_determined: Option<usize>
Approximately speeds up oset-aid by a factor of 4 on my machine.
In reachability alg
get_invalidly_un_blocked
, a new argument is added:early_stop_when_determined: Option<usize>
.Approximately speeds up oset-aid by a factor of 4 on my machine.