X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Fsat.mli;h=81d7ee70629f9a948f1780cb388f78d528ee74a4;hb=2c7cb84589a53b27d30f2d3ae6333bb175d0d7d8;hp=77f02394d64017e28dd533e41fa44c7aebfc964b;hpb=48099a8d17ed96681087fa7e7c507dc2ec209125;p=fireball-separation.git

diff --git a/ocaml/sat.mli b/ocaml/sat.mli
index 77f0239..81d7ee7 100644
--- a/ocaml/sat.mli
+++ b/ocaml/sat.mli
@@ -1,3 +1,5 @@
 type graph = (int * int) list
+type color
 
 val encode_graph : graph -> string
+val color: graph -> (color list) option