Ito ang command lpsbinary 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
lpsbinary - palitan ang may hangganan na mga variable ng pag-uuri ng mga vector ng boolean variable sa isang LPS
SINOPSIS
lpsbinary [OPTION]... [INFILE [OUTFILE]]
DESCRIPTION
Palitan ang may hangganan na mga variable ng pag-uuri ng mga vector ng boolean variable sa LPS sa INFILE at
isulat ang resulta sa OUTFILE. Kung walang INFILE, ginagamit ang stdin. Kung ang OUTFILE ay hindi
kasalukuyan, ginagamit ang stdout
Opsyon
OPTION maaaring alinman sa mga sumusunod:
-QNUM, --qlimit=NUM
limitahan ang enumeration ng mga quantifier sa NUM variable. (Default na NUM=1000, NUM=0 para sa
walang limitasyon).
-rNAME, --rewriter=NAME
gumamit ng diskarte sa pagsulat muli NAME: 'jitty' jitty rewriting (default) 'jittyc' compiled
jitty rewriting 'jittyp' jitty rewriting with prover
--mga oras[=FILE]
magdagdag ng mga sukat ng timing sa FILE. Ang mga sukat ay isinusulat sa karaniwang error kung
walang FILE na ibinigay
Mga karaniwang opsyon:
-q, --tahimik
huwag magpakita ng mga mensahe ng babala
-v, --verbose
magpakita ng mga maikling intermediate na mensahe
-d, --debug
magpakita ng mga detalyadong intermediate na mensahe
--log-level=ANTAS
magpakita ng mga intermediate na mensahe hanggang sa at kabilang ang antas
-h, - Tumulong
ipakita ang impormasyon ng tulong
--bersyon
ipakita ang impormasyon ng bersyon
Gumamit ng lpsbinary online gamit ang mga serbisyo ng onworks.net