def METHOD_NAME(self):
    """
    Test that, Minimum forbidden tuple algorithm can find and simplify constraints
    """
    parameters = [3, 3, 3, 3]
    constraints = {
        ((0, 0), (1, 0)),
        ((0, 0), (1, 2)),
        ((0, 1), (3, 0)),
        ((0, 2), (3, 0)),
        ((1, 1), (3, 0)),
    }
    solver = Solver(parameters, constraints)
    expectation = {((0, 0), (1, 0)), ((0, 0), (1, 2)), ((3, 0),)}
    self.assertEqual(
        solver.constraints,
        expectation,
        "solver can not compute and simplify constraints",
    )