opam-solver

Solver library for opam 2.0
Description

Solver and Cudf interaction. This library is based on the Cudf and Dose libraries, and handles calls to the external solver from opam.