(self, name)
Gets the value of the given option from the solver.
Gets the value of the given option from the solver.
Gets the value of the given option from the solver .
def get_option(self, name):
        """ Gets the value of the given option from the solver."""
        raise NotImplementedError
def get_option ( self , name ) : raise NotImplementedError