Bu, en son sürümü ctlrp21_sourceforge.zip olarak indirilebilen, çevrimiçi Linux'ta çalışacak CTL-RP adlı Linux uygulamasıdır. İş istasyonları için ücretsiz barındırma sağlayıcısı OnWorks'te çevrimiçi olarak çalıştırılabilir.
OnWorks ile çevrimiçi olarak Linux'ta çalıştırmak için CTL-RP adlı bu uygulamayı çevrimiçi olarak indirin ve çalıştırın.
Bu uygulamayı çalıştırmak için şu talimatları izleyin:
- 1. Bu uygulamayı PC'nize indirdiniz.
- 2. Dosya yöneticimize https://www.onworks.net/myfiles.php?username=XXXXX istediğiniz kullanıcı adını girin.
- 3. Bu uygulamayı böyle bir dosya yöneticisine yükleyin.
- 4. Bu web sitesinden OnWorks Linux çevrimiçi veya Windows çevrimiçi öykünücüsünü veya MACOS çevrimiçi öykünücüsünü başlatın.
- 5. Yeni başladığınız OnWorks Linux işletim sisteminden, istediğiniz kullanıcı adıyla https://www.onworks.net/myfiles.php?username=XXXXX dosya yöneticimize gidin.
- 6. Uygulamayı indirin, kurun ve çalıştırın.
CTL-RP, Linux'ta çevrimiçi çalışacak
Ad
TANIM
CTL-RP, Computation Tree Logic Resolution Prover'ın kısaltmasıdır. Hesaplama Ağacı Mantığı (CTL), bir dallanma zamanı zamansal mantığıdır. CTL-RP, çıkarım için bir çekirdek motor olarak birinci dereceden bir teorem kanıtlayıcı olan SPASS'ı kullanan, CTL için çözünürlük tabanlı bir teorem kanıtlayıcıdır.Daha fazla ayrıntı için lütfen aşağıdaki bağlantıya bakın.
http://cueb.science/web/software/ (Çin'in içindeyseniz.)
http://ctlrp.sourceforge.net (Çin'de değilseniz.)
Seyirci
Bilim araştırması
Kullanıcı arabirimi
Komut satırı
Programlama dili
C
Bu, https://sourceforge.net/projects/ctlrp/ adresinden de getirilebilen bir uygulamadır. Ücretsiz İşletim Sistemlerimizden birinden en kolay şekilde çevrimiçi çalıştırılabilmesi için OnWorks'te barındırılmıştır.