added Clafer Tools Instance Generators

This works in conjunction with the package [Clafer Tools](https://github.com/gsdlab/ClaferToolsST).