packup - Online sa Cloud

PROGRAMA:

NAME

PackUP -- Pag-upgrade ng PACKage Tagalutas ng problema

SINOPSIS

mag-impake [OPTIONS] input_file_name [output_file_name]

DESCRIPTION

Ang packup ay isang solver para sa problema sa pag-upgrade ng package na tinukoy sa CUDF [TZ09]. Ito
paulit-ulit na humihiling ng optimization pseudo-Boolean solver upang malutas ang problema.
Bilang default, ginagamit ang minisat+ [ES06] para sa layuning iyon ngunit maaaring gumamit ng ibang solver ng
na tumutukoy sa nauukol na opsyon sa command line.

Kung ang input_file_name ay '-', ang input ay binabasa mula sa karaniwang input. Kung ang output_file_name
ay tinanggal, ang output ay ginawa sa karaniwang output.

Opsyon

-t Gumamit ng usong pamantayan

-p Gumamit ng paranoid criterion

-u cs Gumamit ng pamantayan ng gumagamit cs. Ang criterion ay isang lexicographic na kumbinasyon ng utility
inalis ang mga function, hindi na-update, hindi nakilala, bago, at binago. Bawat isa sa kanila
na may polarity ("+" para sa isang function na i-maximize, "-" para sa isang function na i-minimize).
Ang mga function ay nakalista sa pagpapababa ng pagkakasunud-sunod ng priyoridad, at pinaghihiwalay ng
simbolo ",". Halimbawa, ang paranoid criterion ay maaaring isulat bilang
-tinanggal,-nagbago. Para sa higit pang mga detalye tingnan ang: http://www.mancoosi.org/misc-
live/20101126/criteria/

--panlabas na solver
utos para sa panlabas na solver default na 'minisat+ -ansi'

--multiplication-string
string sa pagitan ng mga coefficient at variable kapag nakikipag-usap sa solver, default
'*'

--pansamantalang-direktoryo DIR
direktoryo kung saan nilikha ang mga pansamantalang file. Kung hindi ibinigay ang opsyong ito, ang
ang halaga ng $TMPDIR ay ginagamit kung tinukoy, kung hindi man ay inilalagay ang mga pansamantalang file
'/ Tmp'.

--leave-temporary-files
huwag tanggalin ang mga pansamantalang file

Gumamit ng packup online gamit ang mga serbisyo ng onworks.net