rootProject.name = 'pandamonium-theorem-prover'
include 'services'
include 'persistence'
include 'utilities'