Program Extension Synthesizer

The goal of this project project is to drive research in example-based synthesis.

Installation

1. Ensure that Java 10 or higher is installed (enter 'java -version' at the command line to find out the version of Java you have installed).

2. Download and install the Graphviz package. Add the 'bin' sub-directory to the working path.

3. Add the pexyn.jar file to your CLASSPATH variable.

4. Test the installation by entering 'java -jar pexyn.jar factorial.spec' at the code/benchmarks/jminor sub-directory.