Acabo de lançar uma versão beta (isto é, disponível para testes mas ainda sujeita a revisões) da implementação do KEMS (um provador de teoremas multi-estratpegia baseado no método KE) que contém uma estratégia para a lógica C1 de Newton da Costa.
O arquivo pode ser baixado em http://www.dainf.ct.utfpr.edu.br/~adolfo/KEMS (O link direto para o arquivo zip é http://www.dainf.ct.utfpr.edu.br/~adolfo/KEMS/KEMS.zip).
Coloquei na página também todos os problemas que uso para testar o KEMS, assim como uma descrição do formato de problemas.
Agradeço qualquer comentário/retorno.
O arquivo pode ser baixado em http://www.dainf.ct.utfpr.edu.br/~adolfo/KEMS (O link direto para o arquivo zip é http://www.dainf.ct.utfpr.edu.br/~adolfo/KEMS/KEMS.zip).
Click here to donwload KEMS's latest executable version (May 14, 2009 - 2.4MB zip file).
- To run KEMS do the following:
- Unzip the "KEMS.zip" file
- Go to the KEMS folder
- Issue the following command: java -jar kems.jar
- A brief user manual (not up to date but still useful) is avaliable in http://www.dainf.ct.utfpr.edu.br/~adolfo/Thesis/AppendixF.pdf.
- To run KEMS do the following:
Coloquei na página também todos os problemas que uso para testar o KEMS, assim como uma descrição do formato de problemas.
Agradeço qualquer comentário/retorno.
Nenhum comentário:
Postar um comentário
Deixe seu comentário! Não uso verificação de palavras.