maple.backend.envs.libero.LiberoEnvBackend.name
===============================================

.. currentmodule:: maple.backend.envs.libero

.. autoattribute:: LiberoEnvBackend.name