package ocaml-sat-solvers

  1. Overview
  2. Docs
inherit Satwrapper.solverFactory
method description : string
method identifier : string
method short_identifier : string
method url : string
method new_timed_instance : Timing.timetable -> Satwrapper.abstractSolver
method new_instance : Satwrapper.abstractSolver