5nizza / sdf

Synthesizer from safety games

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

The safety synthesis tool submitted to the SYNTCOMP. Dependencies:

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.

About

Synthesizer from safety games

License:Other


Languages

Language:C++ 71.5%Language:Python 24.3%Language:CMake 4.0%Language:Shell 0.1%Language:Makefile 0.1%