WickedXMAS: Deadlock Detection for xMAS networks

This file contains a tool for designing and verifying xMAS networks. It has been developed at the Radboud University Nijmegen and the Open University of the Netherlands.

------------
INSTALLATION
------------
1.) unzip the file to some directory X. Directory X should contain -- among others -- WickedXMAS.exe, Newtonsoft.Json.dll and jsonToC.bat. 
2.) download Z3 here: http://z3.codeplex.com/releases
Unzip the downloaded file into directory X, and rename subdirectory "z3-4.3.0-x64" to "Z3" (the original name may vary on which version of Z# you use). You should have the following directories:
X/Z3/bin: containing Z3 dlls
X/Z3/include: containing Z3 header files
3.) Make sure that you have a version of g++ installed and accessible through your path variable. The easiest way is to install MinGW (http://www.mingw.org/). Check via the command prompt if g++ is found.
4.) Copy the dll's of z3 (located in Z3/bin/) to your Windows/system directory so that they are found by Z3.


-----
START
-----
Run "WickedXmas.exe" to start the program.

---------------------
QUESTIONS/BUG REPORTS
---------------------
For any questions, bug reports, etc., please contact Freek Verbeek (fvb@ou.nl)