(self, formula)
Returns the value of formula in the current model (if one exists).

        This is a simplified version of the SMT-LIB function get_values
Returns the value of formula in the current model (if one exists).
Returns the value of formula in the current model ( if one exists ) .
def get_value(self, formula):
        """Returns the value of formula in the current model (if one exists).

        This is a simplified version of the SMT-LIB function get_values
        """
        raise NotImplementedError
def get_value ( self , formula ) : raise NotImplementedError