Batch Mode Simulation : Breakpoints : Miscellaneous Commands

Miscellaneous Commands
SAVE_STATUS ’status_name’ ;
RESTORE_STATUS ’status_name’ ;
CHOOSE number ;
RANDOM_SOLUTION ;