()
return pysmt.environment.get_env()
Aux function to obtain the environment.
Aux function to obtain the environment.
Aux function to obtain the environment .
def _env():
    """Aux function to obtain the environment."""
    return pysmt.environment.get_env()
def _env ( ) : return pysmt . environment . get_env ( )