package ocaml-sat-solvers

  1. Overview
  2. Docs

Class Satwrapper.abstractSolver

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 : out_channel -> unit