TSL API
Run TSL Synthesis from your browser
Run Synthesis
javascript
python
xstate
Enter a TSL spec here
always assume { } always guarantee { F ([noteToPlay <- E4]); F ([noteToPlay <- G4]); }
Get the code here