| Wed, 24 Jul 2013 01:08:34 +0200 | Alpar Juttner | Fix #define indicating CPLEX availability (#446) | changeset | files |
| Mon, 15 Jul 2013 08:33:08 +0200 | Alpar Juttner | Merge #446, #457, #465 | changeset | files |
| Sat, 25 May 2013 06:59:31 +0200 | Alpar Juttner | Enable/disable options for LP/MIP backends (#465) | changeset | files |