Module Make.Solver

module Output : Zeroinstall_solver.S.SOLVER_RESULT with module Input = Input