(left, right)
return get_env().formula_manager.BVXor(left, right)
Returns the Bit-wise XOR of two bitvectors of the same size.

    :param left: Specify the left bitvector
    :param right: Specify the right bitvector
    :returns: The bit-wise XOR of left and right
    :rtype: FNode
Returns the Bit-wise XOR of two bitvectors of the same size.
Returns the Bit - wise XOR of two bitvectors of the same size .
def BVXor(left, right):
    """Returns the Bit-wise XOR of two bitvectors of the same size.

    :param left: Specify the left bitvector
    :param right: Specify the right bitvector
    :returns: The bit-wise XOR of left and right
    :rtype: FNode
    """
    return get_env().formula_manager.BVXor(left, right)
def BVXor ( left , right ) : return get_env ( ) . formula_manager . BVXor ( left , right )