(lang dune 2.9)
(name opam-solver)
(version 2.1.1)
(library
 (name opam-solver)
 (kind normal)
 (synopsis "OCaml Package Manager solver interaction library")
 (archives (byte opam_solver.cma) (native opam_solver.cmxa))
 (plugins (byte opam_solver.cma) (native opam_solver.cmxs))
 (native_archives opam_solver.a)
 (requires opam-format cudf dose3.algo dose3.common mccs)
 (modes byte native)
 (modules
  (unwrapped
   ((name OpamActionGraph)
    (obj_name opamActionGraph)
    (visibility public)
    (impl)
    (intf))
   ((name OpamBuiltin0install)
    (obj_name opamBuiltin0install)
    (visibility public)
    (impl)
    (intf))
   ((name OpamBuiltinMccs)
    (obj_name opamBuiltinMccs)
    (visibility public)
    (impl)
    (intf))
   ((name OpamBuiltinZ3)
    (obj_name opamBuiltinZ3)
    (visibility public)
    (impl)
    (intf))
   ((name OpamCudf) (obj_name opamCudf) (visibility public) (impl) (intf))
   ((name OpamCudfSolver)
    (obj_name opamCudfSolver)
    (visibility public)
    (impl)
    (intf))
   ((name OpamCudfSolverSig)
    (obj_name opamCudfSolverSig)
    (visibility public)
    (impl))
   ((name OpamSolver) (obj_name opamSolver) (visibility public) (impl) (intf))
   ((name OpamSolverConfig)
    (obj_name opamSolverConfig)
    (visibility public)
    (impl)
    (intf)))))
