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, Platypus ou Cisdem PDFConverterOCR, que podem ser similares a Spock.