Ito ang command boolector 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
boolector - SMT solver para sa mga bit-vector at array
SINOPSIS
boolector [pagpipilian] input-file
DESCRIPTION
Ang manu-manong pahinang ito ay nagdodokumento ng maikling boolector utos.
Boolector ay isang mahusay na SMT solver para sa quantifier-free theory ng bit-vectors in
kumbinasyon sa quantifier-free extensional theory ng mga array.
Opsyon
-h Ipakita ang buod ng mga opsyon.
--bersyon
bersyon ng pag-print at paglabas
Gumamit ng boolector online gamit ang mga serbisyo ng onworks.net
