source: extracted/untrusted/ @ 2738

Last change on this file since 2738 was 2738, checked in by sacerdot, 8 years ago

Porting the graph colouring stuff from the untrusted prototype to the extracted

File size: 102 bytes
1(* We try first with a stupid colourer: we spill everything *)
3let colour_graph graph = assert false
Note: See TracBrowser for help on using the repository browser.