Spock

por joergp

Ooops

o link para download desapareceu

Licença: Código aberto

Total de downloads:4

Latest version:1.0

Denunciar informações incorretas

Descrição

Imagem do ecrã

Spock 1.0 pode ser baixado do nosso site de graça. O desenvolvedor do programa é joergp. Seu download foi verificado por nosso antivírus e foi avaliado como livre de malware. O programa está dentro da categoria Ferramentas de Desenvolvimento.

Do desenvolvedor:

Spock is an open source prototype tool for debugging logic programs under the answer-set semantics. This easy-to-use tool provides debugging methods for propositional programs in DLV or Smodels syntax. The implemented techniques rely on ASP-meta-programming.

Confira mais programas, tais como TeXworks, GNS3 ou Platypus, que podem ser similares a Spock.

útil

Como proteger seu Mac contra malware

útil

Como compartilhar arquivos

útil

Como digitar com 10 dedos