This is a SATySFi-TED Playground.
Click the button below to start a new environment in Gitpod. The GitHub account is required.
If you want to use VS Code in your local environment, follow the steps below.
- Clone this repository
- Open the repository in VS Code
- Remote - Containers extension is required
- Click the "Reopen in Container" button in the notification that appears at the bottom-right of the window
MIT, See LICENSE for more information.