realizer

Simple solver for safety games as specified by the synthesis competition (SYNTCOMP).

Prerequisites

• Python 2
• pycudd (http://bears.ece.ucsb.edu/pycudd.html)

Usage

$ ./realizer.py instance.aag where instance.aag is conforms to the extended AIGER format for synthesis (http://arxiv.org/abs/1405.5793)