REQUIREMENTS file for artifact evaluation of ICSE'23 paper

"Triggers for Reactive Synthesis Specifications"

Software environment requirements:

Java 11 (or later) 64Bit

Ubuntu 64Bit (tested with 20.04 and 22.04) or 

Windows 10 or 11 with 
Microsoft Visual C++ 2015 Redistributable (x64) available here, 
if not already installed:
https://www.microsoft.com/en-us/download/details.aspx?id=48145
