The safety synthesis tool submitted to the SYNTCOMP. Dependencies:

• modifed aiger-1.9.4, get it from https://github.com/5nizza/aisy/tree/master/aiger_swig
• cudd-3.0.0
• spdlog

To build, install dependencies into folder <third_parties>. Modify setup.sh to provide the path to that folder. Use the standard cmake routine for building:

• . ./setup.sh
• create build folder <build>
• cd <build>
• cmake ..
• make

Feel free to ask me questions, the tool is raw.