TSL API

Run TSL Synthesis from your browser


We will log your synthesis requests and make them publicly available as benchmarks to help improve synthesis tools. Uncheck the box below if you don't want us to log anything.

If you would like attribution credit for your specifications, enter a name or alias here:

Enter a TSL spec here

Get the code here