Theory-02 Examples

Code for the Theory 2 homework assignment

Building and Running

Requirements

• Java SE Development Kit 8
• Scala Build Tool, sbt (version >=1.1.6)
• Scala (version >= 2.12.6) - to run the standalone artifact

Building and Testing the Project

To compile and run the entire test suite (and see some cool synthesis results), execute the following command in the terminal from the root folder of the project:

sbt test