toomasv/solver not found