Module SatwrapperSource

Sourcetype solve_result =
  1. | SolveFailure of string
  2. | SolveUnsatisfiable
  3. | SolveSatisfiable
Sourceval format_solve_result : solve_result -> string
Sourceclass virtual abstractSolver : object ... end
Sourceclass virtual solverFactory : object ... end
Sourcetype state =
  1. | SolverInit
  2. | SolverSolved
  3. | SolverDisposed
Sourcetype 'a literal =
  1. | Po of 'a
  2. | Ne of 'a
Sourcetype '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
Sourceclass 'a satWrapper : solverFactory -> Timing.timetable option -> object ... end