Release of the CTL and fairness provers described in the CADE'17 submission.
Gadi Tellez and James Brotherston
Automatically Verifying Temporal Properties of Pointer Programs with Cyclic Proof
An archive containing executable binaries, test suite and source code is provided.