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
Tags
Tags give the ability to mark specific points in history as being important
v2.2
7ba60823
·
Merge branch 'benchmarks' into 'master'
·
Oct 20, 2022
Release
Incremental Parsing & Benchmarking Series
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Download artifacts
Previous Artifacts
docker-image
v2.1
eaf6ecb3
·
Merge branch 'refactoring' into 'master'
·
Aug 23, 2022
Release
One-step Function Satisfiability COOL
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
Download artifacts
Previous Artifacts
docker-image
v2.0
d49e7b8a
·
Documentation update to include aconjunctive
·
Jul 06, 2021
Release
Aconjunctive COOL
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v1.1
5aaf9de0
·
Only specify verion in one place
·
Jun 23, 2021
Release
Alternation-free COOL with corrected versions
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
v1.0
da0d559c
·
Merge branch 'master' of git8.cs.fau.de:software/cool into examples
·
Jun 23, 2021
Release
Alternation-free COOL
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
