Ito ang command picosat na maaaring patakbuhin sa OnWorks na libreng hosting provider gamit ang isa sa aming maramihang libreng online na workstation gaya ng Ubuntu Online, Fedora Online, Windows online emulator o MAC OS online emulator
PROGRAMA:
NAME
picosat - SAT solver na may patunay at pangunahing suporta
SINOPSIS
picosat [pagpipilian] input-file
DESCRIPTION
Ang manu-manong pahinang ito ay nagdodokumento ng maikling picosat utos.
picosat ay isang SAT solver na may patunay at mga pangunahing kakayahan. Gamitin ang picosat.bakas binary sa
aktwal na ginagamit ang mga kakayahan na ito (nagkakaroon ito ng ilang overhead).
Opsyon
-h Ipakita ang buod ng mga opsyon.
--bersyon
bersyon ng pag-print at paglabas
--config
print build configuration at exit
-v paganahin ang verbose output
-f huwag pansinin ang di-wastong header
-n huwag mag-print ng kasiya-siyang takdang-aralin
-p i-print ang formula sa DIMACS na format at lumabas
-i <0/1>
pilitin ang FALSE ayon sa pagkakabanggit TAMA bilang default na yugto
-a
magsimula sa isang palagay
-l
itakda ang limitasyon ng desisyon
-s
itakda ang random number generator seed
-o
itakda ang output file
-t
bumuo ng compact proof trace file (gamitin ang picosat.trace, tingnan sa itaas).
-T
bumuo ng pinahabang proof trace file (gamitin ang picosat.trace, tingnan sa itaas).
-r
bumuo ng reverse unit propagation proof file (gamitin ang picosat.trace, tingnan sa itaas).
-c
bumuo ng clausal core file sa DIMACS na format (gamitin ang picosat.trace, tingnan sa itaas).
-V
bumuo ng mga pangunahing variable ng listahan ng file
-U
bumuo ng listahan ng file na ginamit na mga variable
Gumamit ng picosat online gamit ang mga serbisyo ng onworks.net