package opam-solver

  1. Overview
  2. Docs
type criteria_def = {
  1. crit_default : string;
  2. crit_upgrade : string;
  3. crit_fixup : string;
  4. crit_best_effort_prefix : string option;
}
exception Timeout of (Cudf.preamble option * Cudf.universe) option

Timeout might still return a non-optimal solution

module type S = sig ... end