(self, name, value)
Sets the given value for the option in the solver.

        SMTLIB-defined Options:

        +---------------------------+----------+---------+----------+
        | Name                      | Required | Type    | Default  |
        +===========================+==========+=========+==========+
        | print-success             | required | boolean | true     |
        | regular-output-channel    | required | string  | "stdout" |
        | diagnostic-output-channel | required | string  | "stderr" |
        | expand-definitions        | optional | boolean | false    |
        | interactive-mode          | optional | boolean | false    |
        | produce-proofs            | optional | boolean | false    |
        | produce-unsat-cores       | optional | boolean | false    |
        | produce-models            | optional | boolean | false    |
        | produce-assignments       | optional | boolean | false    |
        | random-seed               | optional | numeral | 0        |
        | verbosity                 | optional | numeral | 0        |
        +---------------------------+----------+---------+----------+
Sets the given value for the option in the solver.
Sets the given value for the option in the solver .
def set_option(self, name, value):
        """ Sets the given value for the option in the solver.

        SMTLIB-defined Options:

        +---------------------------+----------+---------+----------+
        | Name                      | Required | Type    | Default  |
        +===========================+==========+=========+==========+
        | print-success             | required | boolean | true     |
        | regular-output-channel    | required | string  | "stdout" |
        | diagnostic-output-channel | required | string  | "stderr" |
        | expand-definitions        | optional | boolean | false    |
        | interactive-mode          | optional | boolean | false    |
        | produce-proofs            | optional | boolean | false    |
        | produce-unsat-cores       | optional | boolean | false    |
        | produce-models            | optional | boolean | false    |
        | produce-assignments       | optional | boolean | false    |
        | random-seed               | optional | numeral | 0        |
        | verbosity                 | optional | numeral | 0        |
        +---------------------------+----------+---------+----------+
        """
        raise NotImplementedError
def set_option ( self , name , value ) : raise NotImplementedError