- methods formerly taking a const reference to Problem as input now take
    a shared pointer to const Problem.