Tools for GR(1) synthesis and related activities
