(self, name, args)
Adds a new SmtLibCommand with the given name and arguments.
Adds a new SmtLibCommand with the given name and arguments.
Adds a new SmtLibCommand with the given name and arguments .
def add(self, name, args):
        """Adds a new SmtLibCommand with the given name and arguments."""
        self.add_command(SmtLibCommand(name=name,
                                       args=args))
def add ( self , name , args ) : self . add_command ( SmtLibCommand ( name = name , args = args ) )