solver.tui.parallel.timer#
Enters the timer menu.
Adjusts domain timers.
Prints performance statistics in the console window.
You are not viewing the most recent version of this documentation. The latest stable release is 0.30
Enters the timer menu.
Adjusts domain timers.
Prints performance statistics in the console window.