SafetySynth is a tool for synthesizing controllers from safety benchmarks given in the SyntComp AIGER format.
It implements the symbolic backward fixpoint algorithm for solving safety games using the ROBDD package CUDD.
Installation and Usage
SafetySynth follows the rules of the Reactive Synthesis Competition (safety track).
Tested on Linux and macOS.
Swiftcompiler (at least version 3)
git clone https://github.com/ltentrup/SafetySynth.git
.build/release/SafetySynth [--synthesize] instance.aag
Copyright © 2016 Saarland University