Timeline


and

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

Feb 22, 2018:

7:01 AM Changeset [2364] by forrest
should not be tolerance in SOS
Note: See TracTimeline for information about the timeline view.