The "/ctlrp_v21_bin.zip" file could not be found or is not available. Please select another file.

CTL-RP Files

CTL-RP is a theorem prover for Computation Tree Logic (CTL)

Brought to you by: alan43

The interactive file manager requires Javascript. Please enable it or use sftp or scp.
You may still browse the files here.

Name	Modified	Size	InfoDownloads / Week
ctlrp21_sourceforge.zip	2016-10-11	2.0 MB	0
Totals: 1 Item		2.0 MB	0

Other Useful Business Software

Go From AI Idea to AI App Fast

One platform to build, fine-tune, and deploy ML models. No MLOps team required.

Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.

Try Free

Fully Managed MySQL, PostgreSQL, and SQL Server

Automatic backups, patching, replication, and failover. Focus on your app, not your database.

Cloud SQL handles your database ops end to end, so you can focus on your app.

Try Free

Go From AI Idea to AI App Fast

One platform to build, fine-tune, and deploy ML models. No MLOps team required.

Access Gemini 3 and 200+ models. Build chatbots, agents, or custom models with built-in monitoring and scaling.

Try Free

Recommended Projects

Archive of Formal Proofs
A collection of machine-checkend mathematical proofs
C Template Library
SQUAT/CTL is a platform independant macro template library for C/C++. It provides container, template, serialization and code generation patterns for the C/C++ language family based on C preprocessor macros.
Lean 4
Lean 4 programming language and theorem prover
LogicCalculus
A logic IDE for the sentential logic and the predicate logic.
CloverDX
Design, automate, operate and publish data pipelines at scale