Problem
Problem* problem = new(std::nothrow) Problem(problemId, problemType,
LibsolvSolver::_AddSolution(Problem* problem, Id solutionId)
Problem(::Id id, BType type, BSolverPackage* sourcePackage,
Solution(::Id id, LibsolvSolver::Problem* problem)
LibsolvSolver::Problem* Problem() const
LibsolvSolver::Problem* fProblem;
Problem* problem = static_cast<Problem*>(_problem);
if (solution->Problem() != problem)
Problem* problem = fProblems.ItemAt(i);
status_t _AddSolution(Problem* problem, Id solutionId);
struct Problem;