package hardcaml_verify

  1. Overview
  2. Docs
package hardcaml_verify
Legend:
Library
Module
Module type
Parameter
Class
Class type
val write_problem : Cnf.t -> Stdio.Out_channel.t -> Base.unit

Write a DIMACS formatted CNF file suitable for input into SAT solvers.

Parse the result of a SAT solver. Different solves use different formats, so the parsing is quie relaxed and works with minisat, picosat and z3.

Read the result of a SAT solver.