cudf2lp - ອອນລາຍໃນຄລາວ

ໂຄງການ:

NAME

cudf2lp - ຕົວປະມວນຜົນກ່ອນສໍາລັບເອກະສານ CUDF

ສະຫຼຸບສັງລວມ

cudf2lp [ທາງເລືອກ]... [ເອກະສານ]

ລາຍລະອຽດ

cudf2lp ເຮັດໃຫ້ຂໍ້ເທັດຈິງຂອງ CUDF ງ່າຍຂຶ້ນ ແລະປ່ຽນເປັນຂໍ້ເທັດຈິງທີ່ເໝາະສົມກັບ
ຈະຖືກປຸງແຕ່ງດ້ວຍ ASP grounder ແລະ solver - ຕົວຢ່າງ, gringo(1) ແລະ ກົບ(1). ມັນ​ແມ່ນ
ມີຈຸດປະສົງເພື່ອເອີ້ນໂດຍ aspcud(1), ແຕ່ອາດຈະຖືກນໍາໃຊ້ເປັນເອກະລາດ.

ມັນອ່ານຈາກ FILE ທີ່ໃຫ້ມາ ແລະຈາກການປ້ອນຂໍ້ມູນມາດຕະຖານ ຖ້າຖືກລະເວັ້ນ.

OPTIONS

cudf2lp ສະ​ຫນັບ​ສະ​ຫນູນ​ທາງ​ເລືອກ​ດັ່ງ​ຕໍ່​ໄປ​ນີ້​:

-h, - ຊ່ວຍ
ພິມ​ຂໍ້​ຄວາມ​ຊ່ວຍ​ເຫຼືອ​

-v, - ການປ່ຽນແປງ
ສະບັບພິມແລະຂໍ້ມູນໃບອະນຸຍາດ

-V, -- verbose[=N]
ກໍານົດລະດັບ verbosity ເປັນ N ຫຼືສູງສຸດຖ້າຖືກລະເວັ້ນ

-c CRITS, --ເງື່ອນໄຂ=CRITS
preprocess ສໍາລັບເງື່ອນໄຂການເພີ່ມປະສິດທິພາບສະເພາະ (ຄ່າເລີ່ມຕົ້ນທີ່ຈະບໍ່ມີ):
CRITS: none | ວິຕົກກັງວົນ | trendy | CRIT\(','CRIT\)*
CRIT : ລົງລາຍເຊັນ ນັບ(SET| |
| ອາການ ຜົນລວມ(SET,ATTR)
| ອາການ unsat_recommends(SET)
| ອາການ ຈັດຮຽງ(SET,ATTR,ATTR)
| ອາການ notuptodate(SET)
ລົງລາຍເຊັນ : '+' | '-'
ATTR : ຊື່ຄຸນລັກສະນະ CUDF
SET : ການແກ້ໄຂ | ປ່ຽນ | ໃຫມ່ | ເອົາອອກ | ຂຶ້ນ | ລົງ
| installrequest | ການຮ້ອງຂໍຍົກລະດັບ | ຮ້ອງຂໍ

ເພື່ອຄວາມເຂົ້າກັນໄດ້ກັບຫຼັງ, ນາມແຝງຕໍ່ໄປນີ້ສາມາດໃຊ້:
new = count(ໃໝ່)
remove = count(ເອົາອອກ)
change = count(ປ່ຽນ)
notuptodate = notuptodate(ການ​ແກ້​ໄຂ​)
unsat_recommends = unsat_recommends(ການ​ແກ້​ໄຂ​)
sum(ຊື່) = sum(ຊື່,ວິທີແກ້ໄຂ)

--addall
ປິດການປະມວນຜົນກ່ອນ ແລະເພີ່ມແພັກເກັດທັງໝົດ

ໃຊ້ cudf2lp ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net