synthesis-with-edge-fairness

Parallel reactive synthesis for omega-regular specifications under the transition fairness condition

1. Install clang-format to maintain code style for Mac OS use

   brew install clang-format.

   and for Linux use

   sudo apt-get install clang-format

   To reform file run:

   clang-format -i /path/to/file.cc

   or run formatting in your editor:

   • Clion: Ctrl + Shift + Alt + L
   • XCode: Select text (Cmd + A) and then Ctrl + I.
   • Atom: After saving
   • VSCode: CTRL +R or CTRL + D

Setup Environment

You need to create a copy of template_env.sh and name it env.sh. Open env.sh and change the paths to first a few environment variables (it's best to use absolute paths). Every time you open a terminal you need to run:

source env.sh

or this command can be added (with proper path) into the ~/.bashrc file so that the path is automatically loaded each time.