()
return pysmt.environment.reset_env()
Resets the global environment, and returns the new one.

    :returns: A new environment after resetting the global environment
    :rtype: Environment
Resets the global environment, and returns the new one.
Resets the global environment and returns the new one .
def reset_env():
    """Resets the global environment, and returns the new one.

    :returns: A new environment after resetting the global environment
    :rtype: Environment
    """
    return pysmt.environment.reset_env()
def reset_env ( ) : return pysmt . environment . reset_env ( )