Bu, Ubuntu Online, Fedora Online, Windows çevrimiçi öykünücüsü veya MAC OS çevrimiçi öykünücüsü 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 reify
Program:
ADI
reify - mantık programlarını somutlaştıran küçük bir yardımcı program
SİNOPSİS
somutlaştırmak [SEÇENEK] ...
TANIM
Bu kılavuz sayfası kısaca şunları belgelemektedir: somutlaştırmak Komut.
somutlaştırmak smodellerde standart girdide verilen mantık programlarını somutlaştıran küçük bir yardımcı programdır.
biçim. gringo topraklayıcı, varsayılan olarak smodel formatı üretir. reify'ın sonucu bir
gringo ile daha fazla işlenebilen standart çıktıda verilen gerçekler kümesi.
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,
potasyum kılavuzuna bakın.
-H, --yardım et
Seçeneklerin özetini göster.
-içinde, --versiyon
Programın sürümünü göster.
onworks.net hizmetlerini kullanarak reify'ı çevrimiçi kullanın
