(self, a, b)
Returns a binary interpolant for the pair (a, b), if And(a, b) is
        unsatisfaiable, or None if And(a, b) is satisfiable.
Returns a binary interpolant for the pair (a, b), if And(a, b) is
        unsatisfaiable, or None if And(a, b) is satisfiable.
Returns a binary interpolant for the pair ( a b ) if And ( a b ) is unsatisfaiable or None if And ( a b ) is satisfiable .
def binary_interpolant(self, a, b):
        """Returns a binary interpolant for the pair (a, b), if And(a, b) is
        unsatisfaiable, or None if And(a, b) is satisfiable.

        """
        raise NotImplementedError
def binary_interpolant ( self , a , b ) : raise NotImplementedError