Milestones · Software

v2.1 - One-Step COOL - Project Milestone

Release One-step Function Satisfiability COOL

Closed Software / COOL

5 Issues · 1 Merge request
100% complete
v2.0 - COOL with Aconjunctive Fixpoints - Project Milestone

Release Aconjunctive COOL

Closed Software / COOL

3 Issues · 0 Merge requests
100% complete
v1.0 - The first "real" release - Project Milestone

Release Alternation-free COOL

Closed Software / COOL

7 Issues · 2 Merge requests
100% complete