(self)
Checks the satisfiability of the formula.

        Restrictions: Only after set-logic.

        :returns: SAT, UNSAT, Unknown
Checks the satisfiability of the formula.
Checks the satisfiability of the formula .
def check_sat(self):
        """ Checks the satisfiability of the formula.

        Restrictions: Only after set-logic.

        :returns: SAT, UNSAT, Unknown
        """
        raise NotImplementedError
def check_sat ( self ) : raise NotImplementedError