Osi - Revision 2384: /branches/conflictgraphs/.coin-or