Skip to content
GitLab
About GitLab
GitLab: the DevOps platform
Explore GitLab
Install GitLab
How GitLab compares
Get started
GitLab docs
GitLab Learn
Pricing
Talk to an expert
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Projects
Groups
Snippets
Sign up now
Login
Sign in
Toggle navigation
Menu
Open sidebar
Software
COOL
Milestones
Open
1
Closed
3
All
4
Due later
v2.1 - One-Step COOL
Release
One-step Function Satisfiability COOL
Closed
Software / COOL
5 Issues
·
1 Merge request
100% complete
v3.0 - COOL with Modelchecking
Software / COOL
2 Issues
·
0 Merge requests
0% complete
v2.0 - COOL with Aconjunctive Fixpoints
Release
Aconjunctive COOL
Closed
Software / COOL
3 Issues
·
0 Merge requests
100% complete
v1.0 - The first "real" release
Release
Alternation-free COOL
Closed
Software / COOL
7 Issues
·
2 Merge requests
100% complete
