Sat, 21 Jul 2012 10:18:57 +0200Better CPLEX discovery (#446)
Alpar Juttner <alpar@cs.elte.hu> [Sat, 21 Jul 2012 10:18:57 +0200] rev 1230
Better CPLEX discovery (#446)

Thu, 28 Feb 2013 23:45:39 +0100Avoid usage of alternative operator (#177)
Peter Kovacs <kpeter@inf.elte.hu> [Thu, 28 Feb 2013 23:45:39 +0100] rev 1229
Avoid usage of alternative operator (#177)