# File lib/dep_selector/gecode_wrapper.rb, line 143
    def solve()
      raise "Gecode internal failure (solve)" if gecode_problem.nil?
      solution = GecodeWrapper.new(Dep_gecode.Solve(gecode_problem))
      raise "Gecode internal failure (no solution found)" if (solution.nil?)

      raise Exceptions::NoSolutionFound.new(solution) if solution.package_disabled_count > 0
      solution
    end