Bu, 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 birini kullanarak OnWorks ücretsiz barındırma sağlayıcısında çalıştırılabilen komut tokasıdır.
Program:
ADI
clasp - çatışma odaklı, iyi olmayan bir öğrenme cevap seti çözücü
SİNOPSİS
toka [Sayı][seçenekler]
TANIM
Bu kılavuz sayfası kısaca şunları belgelemektedir: toka Komut.
toka (genişletilmiş) normal mantık programları için bir yanıt kümesi çözücüsüdür. Yüksek birleştirir-
En son tekniklerle cevap seti programlamanın (ASP) seviye modelleme kapasiteleri
Boolean kısıtlama çözme alanından. Birincil toka algoritması dayanır
için çok başarılı olduğu kanıtlanan bir teknik olan çatışma odaklı iyi olmayan öğrenme
memnuniyet kontrolü (SAT). Diğer öğrenen ASP çözücülerin aksine, clasp
SAT çözücü veya diğer mevcut ASP çözücüler gibi eski yazılımlar. Bunun yerine, toka var
Çatışmaya dayalı iyi olmayan öğrenmeye dayalı yanıt seti çözümü için gerçekten geliştirilmiştir.
toka bir ASP çözücü olarak (LPARSE çıktı formatında), bir SAT çözücü olarak (üzerinde
basitleştirilmiş DIMACS/CNF formatı) veya bir PB çözücü olarak (OPB formatında).
SEÇENEKLER
Bu programlar, uzun seçeneklerle başlayan olağan GNU komut satırı sözdizimini izler.
iki tire (`-'). Seçeneklerin bir özeti aşağıda yer almaktadır. Tam bir açıklama için,
görmekhttp://www.cs.uni-potsdam.de/clasp/>.
-H, --yardım et
Seçeneklerin özetini göster.
-içinde, --versiyon
Programın sürümünü göster.
onworks.net hizmetlerini kullanarak tokayı çevrimiçi kullanın
