Tue, 02 Dec 2008 22:48:28 +0100 Balazs Dezso Thorough redesign of the LP/MIP interface (#44)