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