Package can be installed with pip now

resolution_gui/__init__.py

@@ -1,6 +1,5 @@
-from gui_main import ResolutionGUI
+from .gui_main import ResolutionGUI
 
 # start up the app
-if __name__ == "__main__":
-    app = ResolutionGUI()
-    app.start()
+app = ResolutionGUI()
+app.start()

resolution_gui/gui_main.py

@@ -3,10 +3,10 @@
 from ttkthemes import ThemedTk
 from tkinter import filedialog
 
-from resolution_canvas import ResolutionCanvas
-from statement_frame import StatementFrame
-from resolution_engine import ResolutionEngine
-from info_window import InfoWindow
+from .resolution_canvas import ResolutionCanvas
+from .statement_frame import StatementFrame
+from .resolution_engine import ResolutionEngine
+from .info_window import InfoWindow
 
 class ResolutionGUI():
     def __init__(self):

resolution_gui/resolution_canvas.py

@@ -1,7 +1,7 @@
 from tkinter import *
 from tkinter import ttk
 
-from clause_frame import ClauseFrame
+from .clause_frame import ClauseFrame
 
 class ResolutionCanvas(Canvas):
     def __init__(self, master, app, **kwargs):

resolution_gui/statement_frame.py

@@ -1,7 +1,7 @@
 from tkinter import *
 from tkinter import ttk
 
-from edit_listbox import EditListbox
+from .edit_listbox import EditListbox
 
 class StatementFrame(ttk.Frame):
     def __init__(self, master, app, **kwargs):

setup.py

@@ -9,8 +9,8 @@
       license="MIT",
       packages=["resolution_gui"],
       install_requires=[
-          "tkinter",
           "ttkthemes",
           "pyprover",
+          "pyparsing",
       ],
       zip_safe=False)