package hardcaml_verify

You can search for identifiers within the package.

in-package search v0.2.0

Hardcaml Verification Tools

Install

sha256=b475dc8e540d9855b438309de3cf1984b28d29e7cd8a4d2b76d58a68894a8749

Sourceval write_problem : Cnf.t -> Stdio.Out_channel.t -> Base.unit

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

val parse_result : 
  Base.string Base.list ->
  Base.int Base.list Sat.t Base.Or_error.t

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.

val read_result : 
  Stdio.In_channel.t ->
  Base.int Base.list Sat.t Base.Or_error.t

Read the result of a SAT solver.