Bug fixed for not updating random seed when pressing the Start button again. This could have affected the number of explored layouts before a solution is returned.
Technical settings windows have been reorganized.
Bug fixed for not updating random seed when pressing the Start button again. This could have affected the number of explored layouts before a solution is returned.
Technical settings windows have been reorganized.