(self, name, value)
Sets the value for a given information.

        Required (by SMT):
        * :name <string>
        * :authors <string>
        * :version <string>
        Optional
        * :error-behavior
        * :reason-unknown
        * :all-statistics
Sets the value for a given information.
Sets the value for a given information .
def set_info(self, name, value):
        """ Sets the value for a given information.

        Required (by SMT):
        * :name <string>
        * :authors <string>
        * :version <string>
        Optional
        * :error-behavior
        * :reason-unknown
        * :all-statistics
        """
        raise NotImplementedError
def set_info ( self , name , value ) : raise NotImplementedError