Timeline


and

Mar 25, 2018:

12:04 PM Changeset [2369] by tkr
Removing remote desktop

Mar 24, 2018:

3:09 PM Changeset [2368] by tkr
Adding RDP to appveyor

Mar 14, 2018:

3:44 PM Ticket #184 (cannot 'kill' randomness) created by ofers
When using mzn-cbc, even when passing 'randomCbcSeed 1' randomness is …
12:12 PM Changeset [2367] by forrest
take out assert

Mar 5, 2018:

1:57 PM Changeset [2366] by forrest
clean up when second check shows infeasible

Feb 24, 2018:

12:05 PM Changeset [2365] by forrest
fix memory leaks with sos and improve checkSolution
Note: See TracTimeline for information about the timeline view.