(self, formula, model_completion=True)
return res.constant_value()
Returns the value of formula as a python type.

        E.g., Bool(True) is translated into True.
        This simplifies writing code that branches on values in the model.
Returns the value of formula as a python type.
Returns the value of formula as a python type .
def get_py_value(self, formula, model_completion=True):
        """Returns the value of formula as a python type.

        E.g., Bool(True) is translated into True.
        This simplifies writing code that branches on values in the model.
        """
        res = self.get_value(formula, model_completion=model_completion)
        assert res.is_constant()
        return res.constant_value()
def get_py_value ( self , formula , model_completion = True ) : res = self . get_value ( formula , model_completion = model_completion ) assert res . is_constant ( ) return res . constant_value ( )