package ocaml-sat-solvers

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

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