(self, name, value)
Sets an option.

        :param name and value: Option to be set
        :type name: String
        :type value: String
Sets an option.
Sets an option .
def set_option(self, name, value):
        """Sets an option.

        :param name and value: Option to be set
        :type name: String
        :type value: String
        """
        self.cvc4.setOption(name, CVC4.SExpr(value))
def set_option ( self , name , value ) : self . cvc4 . setOption ( name , CVC4 . SExpr ( value ) )