[console_scripts]
maude-se = maudeSE:main

