Bu, en son sürümü s-sat-0.6beta.tgz olarak indirilebilen S-SAT - Sapienza SAT 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.
S-SAT - Sapienza SAT adlı bu uygulamayı OnWorks ile ücretsiz 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.
S-SAT - Sapienza SAT
Ad
TANIM
Roma'daki "La Sapienza" Üniversitesi'ndeki bir kurs sırasında, birim yayılımı ve geri izlemeye dayalı tamamen çalışan bir SAT çözücü geliştirdim; DIMACS dosyalarını okuyabilir ve herhangi bir uzunluktaki cnf formüllerini işleyebilir (literal sayısında herhangi bir kısıtlama yoktur).
Seyirci
Geliştiriciler, Bilim/Araştırma
Kullanıcı arabirimi
Komut satırı
Programlama dili
C
Kategoriler
Bu, https://sourceforge.net/projects/s-sat/ 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.
