Closed artyom-beilis closed 1 year ago
Add option to extend solving time to more than 10s - even by default.
For wide area solving need longer solving times
Add option to extend solving time to more than 10s - even by default.
For wide area solving need longer solving times