SafetySynth

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.

Prerequisites

• git and mercurial
• C compiler
• Swift compiler (at least version 3)

Install

• git clone https://github.com/ltentrup/SafetySynth.git
• cd SafetySynth
• make release

Usage

• .build/release/SafetySynth [--synthesize] instance.aag

Contact

Leander Tentrup

Copyright © 2016 Saarland University