Create different modules to break up the work

2019-02-03 16:23:08 -07:00
parent abd4a8d1a1
commit 4e395aa6b4
4 changed files with 51 additions and 0 deletions
@@ -1,2 +1,5 @@
 rootProject.name = 'pandamonium-theorem-prover'
+include 'services'
+include 'persistence'
+include 'utilities'