You can search for identifiers within the package.
in-package search v0.2.0
MC² ("Model Constructing Modular Contraption") is a modular SMT solver in OCaml, based on the MCSat calculus.
https://c-cube.github.io/mc2/
This program is distributed under the Apache Software License version 2.0. See the enclosed file LICENSE.
LICENSE
