()
return pysmt.environment.get_env().formula_manager
Aux function to obtain the formula manager.
Aux function to obtain the formula manager.
Aux function to obtain the formula manager .
def _mgr():
    """Aux function to obtain the formula manager."""
    return pysmt.environment.get_env().formula_manager
def _mgr ( ) : return pysmt . environment . get_env ( ) . formula_manager