princeprocessor icon indicating copy to clipboard operation
princeprocessor copied to clipboard

feature request: --savefile

Open roycewilliams opened this issue 5 years ago • 0 comments

Sometimes different prince attacks can be happening in parallel, or paused and restarted using pp.save.

When doing this, it would be very useful to specify a different name for the save file, so that multiple PRINCE runs can easily coexist in the same directory.

roycewilliams avatar May 04 '20 03:05 roycewilliams