(* generated by dune *)

(** @canonical Zeroinstall_solver.Diagnostics *)
module Diagnostics = Zeroinstall_solver__Diagnostics

(** @canonical Zeroinstall_solver.S *)
module S = Zeroinstall_solver__S

(** @canonical Zeroinstall_solver.Sat *)
module Sat = Zeroinstall_solver__Sat

(** @canonical Zeroinstall_solver.Solver_core *)
module Solver_core = Zeroinstall_solver__Solver_core
