ocaml-sat-solvers
Timing
type timetable
exception UnknownTimingCategory
val initial_timetable : unit -> timetable
val dummy_timetable : timetable
val time : timetable -> string -> (unit -> unit) -> unit
val get_time : timetable -> string -> int
val report_times : timetable -> string