(self, formula)
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):
        """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)
        assert res.is_constant()
        return res.constant_value()
def get_py_value ( self , formula ) : res = self . get_value ( formula ) assert res . is_constant ( ) return res . constant_value ( )