/* * The solver this problem belongs to */ Solver *solver()