INSTALL file for artifact evaluation of ICSE'23 paper

"Triggers for Reactive Synthesis Specifications"

Download the file "TriggersArtifact.zip" and extract it to a folder 
"TriggersArtifact" anywhere on your hard drive.

The artifact is now installed and ready for use. This allows you to:

a. Run script files (files with "bat" extension) that produce the CSV
files with the raw data we used for our experiments.

b. Directly run SpectraSynthesis.jar we provide, on Spectra
specifications folders we provide (folders of files with the ".spectra"
extension)

c. Run SpectraSynthesis.jar on any other Spectra specifications folder
with different parameter values. See the README file for details.

To run SpectraSynthesis.jar, open a console or terminal, change the
directory to "SynthesisEvaluation", and write:

java -jar SpectraSynthesis.jar PARAMS

where PARAMS are the required parameters (an example follows).

See the README file for instructions and examples.

3. How to know things are installed correctly?

To see that things are installed correctly, run the example below.

a. First, open a Windows console, and change the directory to
"SynthesisEvaluation".

b. Then write

java -jar SpectraSynthesis.jar Small 1

This is expected to run for about a minute, depending on the machine.

If everything is set up correctly, this will produce a file
“Small_Synth.csv" that contains the realizability check computation time
and the JIT synthesis time on the specifications inside the folder
"Small".

Important performance notes:

Running the package on an operating system different than Windows 10/11 64Bit or 
Ubuntu 64Bit may fail or have dramatically different running times:
We use the BDD Engine CUDD as a native library. If CUDD fails to load, the run 
may fail or revert to a different (pure Java-based) BDD engine, which is 
significantly slower.
