Este é o aplicativo Linux chamado S-SAT - Sapienza SAT, cuja versão mais recente pode ser baixada como s-sat-0.6beta.tgz. Ele pode ser executado online no provedor de hospedagem gratuito OnWorks para estações de trabalho.
Baixe e execute online este aplicativo chamado S-SAT - Sapienza SAT com OnWorks gratuitamente.
Siga estas instruções para executar este aplicativo:
- 1. Baixe este aplicativo em seu PC.
- 2. Entre em nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que você deseja.
- 3. Carregue este aplicativo em tal gerenciador de arquivos.
- 4. Inicie o emulador OnWorks Linux online ou Windows online ou emulador MACOS online a partir deste site.
- 5. No sistema operacional OnWorks Linux que você acabou de iniciar, acesse nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que deseja.
- 6. Baixe o aplicativo, instale-o e execute-o.
S-SAT - Sapienza SAT
Ad
DESCRIÇÃO
Durante um curso na Universidade "La Sapienza" em Roma, desenvolvi um solucionador SAT totalmente funcional baseado em propagação de unidades e retrocesso; ele pode ler arquivos DIMACS e processar fórmulas cnf de qualquer tamanho (não há restrições quanto ao número de literais).
Público
Desenvolvedores, Ciência / Pesquisa
Interface com o usuário
Linha de comando
Linguagem de Programação
C
Categorias
Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/s-sat/. Ele foi hospedado no OnWorks para ser executado on-line da maneira mais fácil a partir de um de nossos sistemas operacionais gratuitos.
