package minisat

  1. Overview
  2. Docs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Minisat.DebugSource

Sourceval 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
OCaml

Innovation. Community. Security.