TABTestingConstraintContainerSolver

Used for testing a new solver that is supposed to produce the same output as anotehr solver.