package sattools

  1. Overview
  2. Docs

Parameters

module Cnf : Cnf

Signature

val write : Pervasives.out_channel -> Cnf.t -> unit
val read_sat_result : string -> int list Result.t
val run : ?solver:string -> Cnf.t -> int list Result.t