This release includes solving fixpoint formulas that are aconjunctive increasing the reasoning capabilities from only handling alternation-free formulas.

Precompiled Linux Binaries

• Static binaries
• Dynamic binaries

Docker

Available on Dockerhub as cs8service/cool:v2-0