Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Software
COOL
Milestones
Open
2
Closed
2
All
4
Start later
v2.1 - One-Step COOL
Software / COOL
2 Issues
·
1 Merge request
50% complete
v3.0 - COOL with Modelchecking
Software / COOL
3 Issues
·
0 Merge requests
0% complete