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 paketidir.
Program:
ADI
PackUP -- PACKage Yükseltilebilirlik Problem çözücü
SİNOPSİS
paket [SEÇENEKLER] input_file_name [output_file_name]
TANIM
packup, CUDF [TZ09]'da belirtilen paket yükseltme sorunu için bir çözücüdür. Bilişim Teknoloji
sorunu çözmek için tekrar tekrar bir optimizasyon sözde Boole çözücüyü çağırır.
Varsayılan olarak minisat+ [ES06] bu amaç için kullanılır, ancak farklı bir çözücü kullanılabilir.
ilgili komut satırı seçeneğini belirterek.
girdi_dosya_adı '-' ise, girdi standart girdiden okunur. çıktı_dosya_adı ise
atlanırsa, çıktı standart çıktıya üretilir.
SEÇENEKLER
-t Modaya uygun ölçütü kullan
-p Paranoyak ölçütü kullan
-u cs Kullanıcı kriterini kullan cs. Bir kriter, yardımcı programın sözlükbilimsel bir birleşimidir.
işlevler kaldırıldı, güncel değil, önerilerde bulunulmadı, yeni ve değiştirildi. Her biri
bir polarite ile ("+" bir işlevi büyütmek için, "-" bir işlevi küçültmek için).
İşlevler azalan öncelik sırasına göre listelenir ve
sembolü ",". Örneğin, paranoyak kriter şu şekilde yazılabilir:
-kaldırıldı,-değiştirildi. Daha fazla ayrıntı için bakınız: http://www.mancoosi.org/misc-
live/20101126/kriterler/
--harici-çözücü
harici çözücü varsayılanı için komut 'minisat+ -ansi'
--çarpma-dizesi
çözücüyle iletişim kurarken katsayılar ve değişkenler arasındaki dize, varsayılan
'*'
--geçici rehber DIR
geçici dosyaların oluşturulduğu dizin. Bu seçenek verilmezse, o zaman
$TMPDIR değeri tanımlanmışsa kullanılır, aksi takdirde geçici dosyalar
'/ Tmp'.
--leave-geçici-dosyalar
geçici dosyaları silmeyin
onworks.net hizmetlerini kullanarak paketi çevrimiçi kullanın
