Bu, en son sürümü openqbf.jar olarak indirilebilen, çevrimiçi Linux'ta çalışacak Java'daki Satisfiability ile ilgili kitaplıklar 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 Java'daki Satisfiability ile ilgili kitaplıklar 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.
Java'daki tatmin edicilikle ilgili kitaplıklar, Linux'ta çevrimiçi olarak çalışacak
Ad
AÇIKLAMA
Bu projenin amacı, SAT çözücülerinin ve ilgili ürünlerin Java yazılımına kolayca gömülmesini sağlamaktır. Burada bulunan yazılımlar, artık geliştirilmeyen, ancak burada kullanıma sunulan eski araştırma projelerinin bir parçasıdır.Seyirci
Bilim araştırması
Kullanıcı arabirimi
Komut satırı
Programlama dili
Java
Bu, https://sourceforge.net/projects/sat4j/ adresinden de getirilebilecek 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.
