v1.0
da0d559c
·
Merge branch 'master' of git8.cs.fau.de:software/cool into examples
·
Jun 23, 2021
Release:
Alternation-free COOL