(*args)
return get_env().formula_manager.AtMostOne(*args)
At most one can be true at anytime.

    Cardinality constraint over a set of boolean expressions.
At most one can be true at anytime.
At most one can be true at anytime .
def AtMostOne(*args):
    """At most one can be true at anytime.

    Cardinality constraint over a set of boolean expressions.
    """
    return get_env().formula_manager.AtMostOne(*args)
def AtMostOne ( * args ) : return get_env ( ) . formula_manager . AtMostOne ( * args )