sig val show_generation : Core.generation -> unit val create_dimacs : string list -> Pervasives.out_channel -> unit end