[gui_scripts]
z3-tracker = z3tracker.main:main
z3tracker = z3tracker.main:main

