Cyclist

Cyclist is a framework for building cyclic theorem provers based on a sequent calculus. In addition, over the years several decision procedures or algorithms have been integrated, focusing on Separation Logic with inductively defined predicates.

For information on building Cyclist, the available tools included and the papers underpinning those tools, visit

www.cyclist-prover.org