(left, right)
return get_env().formula_manager.BVComp(left, right)
Returns a BV of size 1 equal to 0 if left is equal to right,
        otherwise equal to 1.

    :param left: Specify the left bitvector
    :param right: Specify the right bitvector
    :returns: A BV of size 1 equal to 0 if left is equal to right,
              otherwise 1
    :rtype: FNode
Returns a BV of size 1 equal to 0 if left is equal to right,
        otherwise equal to 1.
Returns a BV of size 1 equal to 0 if left is equal to right otherwise equal to 1 .
def BVComp(left, right):
    """Returns a BV of size 1 equal to 0 if left is equal to right,
        otherwise equal to 1.

    :param left: Specify the left bitvector
    :param right: Specify the right bitvector
    :returns: A BV of size 1 equal to 0 if left is equal to right,
              otherwise 1
    :rtype: FNode
    """
    return get_env().formula_manager.BVComp(left, right)
def BVComp ( left , right ) : return get_env ( ) . formula_manager . BVComp ( left , right )