Richard Beck
Richard Beck replied to the topic 'New Internal Solver for Mac, Windows, and Linux -- Testing/ Experiments needed' in the forum. 4 years ago

Whatever the default logging was, SexySolverTester would crash. Turning off logging or changing to verbose logging took care of it.

Read More...