a collection of tools for GR(1) synthesis and related activities