[console_scripts]
Marabou = maraboupy.MarabouMain:main
