module Print: sig .. end
Printing system
val show_generation : Core.generation -> unit
Print a string representation of the given generation
val create_dimacs : string list -> Pervasives.out_channel -> unit
Print the given forumla (dimacs, string list ~ conjunction (the list) of disjunctions (string)) into a file