Milestones · Software

v2.1 - One-Step COOL

Software / COOL

One-step Function Satisfiability COOL

Closed

5/5 complete

100%
v2.0 - COOL with Aconjunctive Fixpoints

Software / COOL

Aconjunctive COOL

Closed

3/3 complete

100%
v1.0 - The first "real" release

Software / COOL

Alternation-free COOL

Closed

7/7 complete

100%