You can search for identifiers within the package.
in-package search v0.2.0
Visualization of solutions using Graphviz
val save : string -> Solver.Solved.t list -> unit