Ini ialah apl Linux bernama CTL-RP untuk dijalankan di Linux dalam talian yang keluaran terbarunya boleh dimuat turun sebagai ctlrp21_sourceforge.zip. Ia boleh dijalankan dalam talian dalam penyedia pengehosan percuma OnWorks untuk stesen kerja.
Muat turun dan jalankan dalam talian apl bernama CTL-RP ini untuk dijalankan di Linux dalam talian dengan OnWorks secara percuma.
Ikut arahan ini untuk menjalankan apl ini:
- 1. Memuat turun aplikasi ini dalam PC anda.
- 2. Masukkan dalam pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXXX dengan nama pengguna yang anda mahukan.
- 3. Muat naik aplikasi ini dalam pengurus filem tersebut.
- 4. Mulakan OnWorks Linux dalam talian atau emulator dalam talian Windows atau emulator dalam talian MACOS dari tapak web ini.
- 5. Daripada OS Linux OnWorks yang baru anda mulakan, pergi ke pengurus fail kami https://www.onworks.net/myfiles.php?username=XXXX dengan nama pengguna yang anda mahukan.
- 6. Muat turun aplikasi, pasang dan jalankan.
CTL-RP untuk dijalankan di Linux dalam talian
Ad
DESCRIPTION
CTL-RP adalah singkatan dari Computation Tree Logic Resolution Prover. Logik Pokok Pengiraan (CTL) ialah logik temporal masa bercabang. CTL-RP ialah pembukti teorem berasaskan resolusi untuk CTL, yang menggunakan pembukti teorem urutan pertama, SPASS, sebagai enjin teras untuk inferens.Sila lihat pautan berikut untuk butiran lanjut.
http://cueb.science/web/software/ (jika anda berada di dalam China.)
http://ctlrp.sourceforge.net (jika anda tidak berada di dalam China.)
Penonton
Sains/Penyelidikan
Antaramuka pengguna
Barisan arahan
Bahasa Pengaturcaraan
C
Ini adalah aplikasi yang juga boleh diambil dari https://sourceforge.net/projects/ctlrp/. Ia telah dihoskan dalam OnWorks untuk dijalankan dalam talian dengan cara yang paling mudah daripada salah satu Sistem Operasi percuma kami.