This release includes solving fixpoint formulas that are aconjunctive increasing the reasoning capabilities from only handling alternation-free formulas.
Available on Dockerhub as cs8service/cool:v2-0
cs8service/cool:v2-0