Skip to content

Latest commit

 

History

History
13 lines (8 loc) · 584 Bytes

README.md

File metadata and controls

13 lines (8 loc) · 584 Bytes

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.