Bu, en son sürümü basitleştiriciSTP_1022.tar.gz olarak indirilebilen STP 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.
STP adlı bu uygulamayı OnWorks ile ücretsiz olarak indirin ve çevrimiçi ç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.
STP
AÇIKLAMA:
STP KODU GITHUB'A TAŞINMIŞTIR. BURADAKİ KOD ESKİDİR. LÜTFEN AŞAĞIDAKİ SİTEYE BAKINIZ:
http://stp.github.io/
Seyirci
Bilgi Teknolojisi, Bilim/Araştırma, Gelişmiş Son Kullanıcılar, Geliştiriciler, Son Kullanıcılar/Masaüstü, Kalite Mühendisleri
Kullanıcı arabirimi
Konsol/Terminal
Programlama dili
Python, C++, C, OCaml (Objektif Caml), Java
Bu, https://sourceforge.net/projects/stp-fast-prover/ 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.