A Tool for Efficient, Resource-Aware Reactive Synthesis

A tool to automatically synthesise progams from formal specifications - including resource constraints - using some novel symbolic algorithms.