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
Download full design document here.