quinta-feira, 14 de maio de 2009

Mais um provador de teoremas para a lógica C1 de Newton da Costa

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.




Nenhum comentário:

Postar um comentário

Deixe seu comentário! Não uso verificação de palavras.