New tool support: STORM
STORM has now enabled strategy export in JSON format in their development version. We can now work on the STORM pipeline without much difficulty.
2025-01-14: Due to updates GitLab may be unavailable for some minutes between 11:30 and 14:00.
STORM has now enabled strategy export in JSON format in their development version. We can now work on the STORM pipeline without much difficulty.