Module Minisat.Debug

val to_dimacs_file : t -> string -> unit

to_dimacs_file solver path writes the solver's set of clauses into the file at path.

  • since 0.6