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. A full explanation and usage guide