Cyclone: A Heterogeneous Tool for Checking Infinite Descent (Software Artifact)

Accompanying artifact for TACAS2025 tool paper submission, containing the following: Extension of the Cyclist automated theorem prover (cyclist-prover.org) by new algorithms for checking the Infinite Descent property, and integration of a tool, Cyclone, as a backend Infinite Descent check for Cyclist. Experimental dataset for algorithms checking Infinite Descent. Docker images with a pre-built version of the extension of Cyclist, for artifact evaluation.