minibrass icon indicating copy to clipboard operation
minibrass copied to clipboard

Published 20 hours ago • verified publisher icon isse-augsburg

Improve intermediate MiniZinc file naming

Open elKei24 opened this issue 3 years ago • 0 comments

The intermediate MiniZinc files created with the --debug flag are currently named like filename_0.mzn, filename_0_1.mzn, filename_0_1_2.mzn and so on. This PR changes the behavior to filename_0.mzn, filename_1.mzn, filename_2.mzn and so on, which at least I find more intuitive.

elKei24 avatar Apr 27 '21 11:04 elKei24