Problem
struct LibsolvSolver::Problem : public BSolverProblem {
LibsolvSolver::Problem* Problem() const
typedef BObjectList<Problem, true> ProblemList;