Bu sat4j komutu, Ubuntu Online, Fedora Online, Windows çevrimiçi emülatörü veya MAC OS çevrimiçi emülatörü gibi birden fazla ücretsiz çevrimiçi iş istasyonumuzdan biri kullanılarak OnWorks ücretsiz barındırma sağlayıcısında çalıştırılabilen satXNUMXj komutudur.
Program:
ADI
sat4j - Java'da SAT çözücülerinin verimli kitaplığı
SİNOPSİS
sat4j giriş dosyası
TANIM
Bu kılavuz sayfası kısaca şunları belgelemektedir: sat4j Komut.
sat4j Java ile yazılmış SAT çözücüler için verimli bir kütüphanedir.
İlk belge seti şu adreste bulunabilir: http://www.sat4j.org/doc.php (bölgesindeki
özellikle "başlangıç kılavuzu" önerilir). Bu belge gönderilmedi
DFSG içermediği için pakette.
onworks.net hizmetlerini kullanarak sat4j'yi çevrimiçi kullanın