[console_scripts]
melvin = melvin.cli:main
melvin-install-boogie = melvin.tools:main
melvin-run = melvin.interp:main
melvin-server = melvin_server.app:main
