Thu, 02 Apr 2015 14:07:38 +0200 | Support for CPLEX 12.6 | file | diff | annotate |
Sat, 25 May 2013 06:59:31 +0200 | Enable/disable options for LP/MIP backends (#465) | file | diff | annotate |
Sat, 21 Jul 2012 10:18:57 +0200 | Better CPLEX discovery (#446) | file | diff | annotate | base |