(self, formula, named=None)
Add assertion to the solver.
Add assertion to the solver.
Add assertion to the solver .
def add_assertion(self, formula, named=None):
        """Add assertion to the solver."""
        raise NotImplementedError
def add_assertion ( self , formula , named = None ) : raise NotImplementedError