(self, logic)
Defines the logic in use.

        E.g., set_logic("QF_LIA")

        Restrictions: Can be executed only once.

        :param logic: The logic in use
        :type logic:  String
        :returns: True on success,
                  False if the logic is not supported
Defines the logic in use.
Defines the logic in use .
def set_logic(self, logic):
        """ Defines the logic in use.

        E.g., set_logic("QF_LIA")

        Restrictions: Can be executed only once.

        :param logic: The logic in use
        :type logic:  String
        :returns: True on success,
                  False if the logic is not supported
        """
        raise NotImplementedError
def set_logic ( self , logic ) : raise NotImplementedError