package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

For model fixing

val propagate : Colibri2_core.Egraph.wt -> Colibri2_core.Ground.t -> unit

val check : Colibri2_core.Egraph.rt -> Colibri2_core.Ground.t -> bool

val compute : 
  Colibri2_core.Egraph.rt ->
  Colibri2_core.Ground.t ->
  Colibri2_core.Interp.compute