A DSL for generating GR(1) problems - View it on GitHub