Este é o comando depqbf que pode ser executado no provedor de hospedagem gratuita OnWorks usando uma de nossas várias estações de trabalho online gratuitas, como Ubuntu Online, Fedora Online, emulador online do Windows ou emulador online do MAC OS
PROGRAMA:
NOME
depqbf - um solucionador para fórmulas booleanas quantificadas
SINOPSE
depqbf [opções ...] [NUM] [ARQUIVO]
DESCRIÇÃO
depqbf é um solucionador baseado em pesquisa para fórmulas booleanas quantificadas (QBF) em prenex
forma normal conjuntiva. É baseado no algoritmo DPLL para QBF com orientado a conflitos
cláusula e aprendizado de cubo baseado em solução. Ao analisar a estrutura de uma fórmula, DepQBF
tenta identificar variáveis independentes. Além de outros benefícios, isso frequentemente
aumenta a liberdade de tomada de decisão. Veja também a descrição do sistema JSAT de DepQBF 0.1
de QBFEVAL'10 para referências e um breve esboço da ideia.
depqbf lê fórmulas QBF no formato QDIMACS. Se ARQUIVO não é fornecido, ele lê sua entrada de
stdin. Ele está em conformidade com os padrões de entrada / saída exigidos pela QBFEVAL'10.
OPÇÕES
depqbf aceita as seguintes opções:
-h, --Socorro
Imprima informações de uso.
--versão
Versão para impressão.
--pretty-print
Apenas analise e imprima a fórmula.
-v Aumente a verbosidade incrementalmente.
NUM Opcional: limite de tempo após NUM segundos.
ARQUIVO Opcional: leia a entrada de FILE.
SAIR STATUS
O status de saída é 10 se a fórmula QBF fornecida como entrada for satisfatória e 20 se for
insatisfatório; qualquer outro código de saída indica que a fórmula não foi resolvida.
Use depqbf online usando serviços onworks.net
