Wed, 11 Jan 2012 14:12:36 +0100Merge LP interface updates
Alpar Juttner <alpar@cs.elte.hu> [Wed, 11 Jan 2012 14:12:36 +0100] rev 974
Merge LP interface updates

Fri, 06 Jan 2012 16:27:06 +0100Make CBC interface compatible with latest CBC releases
Alpar Juttner <alpar@cs.elte.hu> [Fri, 06 Jan 2012 16:27:06 +0100] rev 973
Make CBC interface compatible with latest CBC releases

CBC now uses the CLP backend unconditionally