()
return pysmt.environment.get_env()
Returns the global environment.

    :returns: The global environment
    :rtype: Environment
Returns the global environment.
Returns the global environment .
def get_env():
    """Returns the global environment.

    :returns: The global environment
    :rtype: Environment
    """
    return pysmt.environment.get_env()
def get_env ( ) : return pysmt . environment . get_env ( )