Spock

mai. 18, 2024
Avaliação:
Categoria:
Ferramentas de DesenvolvimentoFerramentas de Depuração
Desenvolvedor:
joergp
Licença:
Código aberto
Total de downloads:
4
Latest version:
1.0

Descrição

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 GNS3, TeXworks ou dex2jar, que podem ser similares a Spock.

Como proteger seu Mac contra malware
destaque
Como compartilhar arquivos
destaque
Como digitar com 10 dedos
destaque

Últimas atualizações