Design Document
Project Description
This system is built using Java EE leveraging Apache Tomcat and MySQL. This makes it extremely portable and can be easily deployed in a number of different ways. One option is to deploy locally on a piece of commodity hardware as we are doing. We are using a Mac Mini using OS X Server to host Satsy. Other options include using cloud hosting such as Amazon Web Services (AWS). The free tier provides a limited amount of resources without cost, but has very poor performance for an application such as Satsy. More resources can be obtained for a cost if needed and requires additional engineering effort to maintain.
System Components
- Bootstrap enabled, responsive frontend
- Self Hosted Java Server running search logic and Z3 instances
- MySQL Datastore containing specially encocded methods and raw source code
