package ocaml-sat-solvers

  1. Overview
  2. Docs
method virtual dispose : unit
method virtual add_variable : int
method virtual add_clause : int array -> unit
method virtual solve : solve_result
method virtual solve_with_assumptions : int list -> solve_result
method virtual get_assignment : int -> bool
method incremental_reset : unit
method virtual print_dimacs : Stdlib.out_channel -> unit
OCaml

Innovation. Community. Security.