(*args)
return get_env().formula_manager.ExactlyOne(*args)
Given a set of boolean expressions requires that exactly one holds.
Given a set of boolean expressions requires that exactly one holds.
Given a set of boolean expressions requires that exactly one holds .
def ExactlyOne(*args):
    """Given a set of boolean expressions requires that exactly one holds."""
    return get_env().formula_manager.ExactlyOne(*args)
def ExactlyOne ( * args ) : return get_env ( ) . formula_manager . ExactlyOne ( * args )