maple.backend.envs.libero.LiberoEnvBackend.name

LiberoEnvBackend.name: str = 'libero'