Skip to content
GitLab
Projects
Groups
Topics
Snippets
/
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
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
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