ນີ້ແມ່ນຄໍາສັ່ງ picomus ທີ່ສາມາດດໍາເນີນການໄດ້ໃນ OnWorks ຜູ້ໃຫ້ບໍລິການໂຮດຕິ້ງຟຣີໂດຍໃຊ້ຫນຶ່ງໃນຫຼາຍໆບ່ອນເຮັດວຽກອອນໄລນ໌ຂອງພວກເຮົາເຊັ່ນ Ubuntu Online, Fedora Online, Windows online emulator ຫຼື MAC OS online emulator
ໂຄງການ:
NAME
picomus - ເຄື່ອງສະກັດຫຼັກທີ່ບໍ່ພໍໃຈຫນ້ອຍທີ່ສຸດທີ່ງ່າຍດາຍ
ສະຫຼຸບສັງລວມ
picomus [ທາງເລືອກໃນການ] [ ໄຟລ໌ປ້ອນຂໍ້ມູນ [ output-file ] ]
ລາຍລະອຽດ
ຫນ້າຄູ່ມືນີ້ເອກະສານສັ້ນໆກ່ຽວກັບ picomus ຄໍາສັ່ງ.
picomus ແມ່ນຕົວແກ້ໄຂ SAT ທີ່ໃຊ້ຫ້ອງສະໝຸດ PicoSAT ເພື່ອສ້າງ 'ບໍ່ພໍໃຈໜ້ອຍທີ່ສຸດ
core' ຍັງເອີ້ນວ່າ 'ຊຸດທີ່ບໍ່ພໍໃຈໜ້ອຍທີ່ສຸດ' (MUS) ຂອງ CNF ໃນຮູບແບບ DIMACS.
OPTIONS
-h ສະແດງສະຫຼຸບຂອງທາງເລືອກ.
-v ເປີດໃຊ້ verbose output
ໃຊ້ picomus ອອນໄລນ໌ໂດຍໃຊ້ບໍລິການ onworks.net