Package opam-solver