package ocaml-sat-solvers

  1. Overview
  2. Docs
type solve_result =
  1. | SolveFailure of string
  2. | SolveUnsatisfiable
  3. | SolveSatisfiable
val format_solve_result : solve_result -> string
class virtual abstractSolver : object ... end
class virtual solverFactory : object ... end
type state =
  1. | SolverInit
  2. | SolverSolved
  3. | SolverDisposed
type 'a literal =
  1. | Po of 'a
  2. | Ne of 'a
type 'a formula =
  1. | And of 'a formula array
  2. | Or of 'a formula array
  3. | Equiv of 'a formula * 'a formula
  4. | Not of 'a formula
  5. | Atom of 'a
class 'a satWrapper : solverFactory -> Timing.timetable option -> object ... end