Lines Matching defs:BSolverProblem