package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

module Backtrackable : sig ... end

val default_theories : unit -> (Egraph.wt -> unit) list

val ground_init : Egraph.wt -> unit

Initialize the module ground for later use

val interp_init : Egraph.wt -> unit

Initialize the module interp for later use

val get_event_priority : Events.daemon_key -> Events.delay

val flush_internal : Egraph.wt -> unit

module Fix_model : sig ... end

The model is search using iterative deepening depth-first search for ensuring optimality even in presence of infinite choice

module Options : sig ... end