FATO ++.

uma descrição Logic Railer para com coruja dl e coruja 2
Baixe Agora

FATO ++. Classificação e resumo

Propaganda

  • Rating:
  • Licença:
  • LGPL
  • Nome do editor:
  • Dmitry Tsarkov
  • Site do editor:
  • http://code.google.com/u/113216336987078983266/
  • Sistemas operacionais:
  • Mac OS X
  • Tamanho do arquivo:
  • 1.7 MB

FATO ++. Tag


FATO ++. Descrição

O FACT ++ é um Railer DL gratuito e de código aberto que suporta a OWL DL e (parcialmente) Owl 2.Fact ++ foi escrito no idioma C ++ e usa algoritmos de tableaux otimizados. Instruções detalhadas sobre como usar o utilitário Fact ++ no seu Mac estão disponíveis aqui.Fact ++ é plataforma cruzada e funciona no Mac OS X, Windows e Linux. Binários para as plataformas Windows e Linux estão disponíveis na página inicial do projeto.


FATO ++. Software Relacionado

Sobre nós