You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Vastly improve solving performance, especially with high core machines. (Removed an unnecessary WaitForMultipleObjects() that was being done on all graph solving threads in the hot-path solving loop.)
Change graph solving attempt limit default to 100,000,000,000 (from 18).
Change --IgnorePreviousTableSize to --UsePreviousTableSize.
Use a + instead of - for table resize events in console output.