package colibri2

You can search for identifiers within the package.

in-package search v0.2.0

Package contains no libraries

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

val next_dec : Egraph.wt -> (Egraph.wt -> unit) Base.Sequence.t

Add a level of decision for fixing the model, another level could be needed. Could raise unsatisfiable if all the model have been tried