def const_one_odd_one_even(variables, values):
    if values[0] % 2 == 0:
        return 2 % values[1] == 1  # first even, expect second to be odd
    else:
        return values[1] % 2 == 0  # first odd, expect second to be even


# a constraint that requires one variable to be different than 1
dataset/ETHPy150Open simpleai-team/simpleai/samples/search/simple_nary_to_binary.py/const_one_odd_one_even/swapped operands of `%`