ctl rp to run in linux online online with Winfy

We have hosted the application ctl rp to run in linux online in order to run this application in our online workstations with Wine or directly.

Quick description about ctl rp to run in linux online:

CTL-RP stands for Computation Tree Logic Resolution Prover. Computation Tree Logic (CTL) is a branching-time temporal logic. CTL-RP is a resolution based theorem prover for CTL, which utilises a first-order theorem prover, SPASS, as a core engine for inference.

Please see the following link for more details.
http: //cueb.science/web/software/ (if you are inside China.)
http: //ctlrp.sourceforge.net (if you are not inside China.)

Audience: Science/Research.
User interface: Command-line.
Programming Language: C.

.