(*args)
return get_env().formula_manager.AllDifferent(*args)
Given a set of non-boolean expressions, requires that each of them
    has value different from all the others
Given a set of non-boolean expressions, requires that each of them
    has value different from all the others
Given a set of non - boolean expressions requires that each of them has value different from all the others
def AllDifferent(*args):
    """Given a set of non-boolean expressions, requires that each of them
    has value different from all the others
    """
    return get_env().formula_manager.AllDifferent(*args)
def AllDifferent ( * args ) : return get_env ( ) . formula_manager . AllDifferent ( * args )