Open yurloc opened 11 years ago
Should be possible to choose to run solver for N hrs or maybe indefinitely, until solution is terminated manually.
Should be possible to choose to run solver for N hrs or maybe indefinitely, until solution is terminated manually.