Fri, 09 Aug 2013 11:28:17 +0200 | Apply unify-sources.sh to the source tree | file | diff | annotate |
Sat, 25 May 2013 06:59:31 +0200 | Enable/disable options for LP/MIP backends (#465) | file | diff | annotate |
Mon, 08 Aug 2011 12:36:16 +0200 | Unify sources | file | diff | annotate |
Sat, 06 Mar 2010 14:35:12 +0000 | Unify the sources (#339) | file | diff | annotate |
Tue, 28 Apr 2009 13:51:34 +0100 | Merge and extend the fix of #275 | file | diff | annotate |
Mon, 12 Jan 2009 12:26:02 +0000 | Rename Lp*/Mip* to *Lp/*Mip | file | diff | annotate |
Mon, 12 Jan 2009 12:26:01 +0000 | Remove lp_ prefix from the solver's header name | file | diff | annotate |
Tue, 02 Dec 2008 22:48:28 +0100 | Thorough redesign of the LP/MIP interface (#44) | file | diff | annotate |
Tue, 02 Dec 2008 21:40:33 +0100 | Port LP and MIP solvers from SVN -r3509 (#44) | file | diff | annotate |