Spock
Descripción
Spock 1.0 puede descargarse desde nuestra página web gratuitamente. Originariamente, esta herramienta sin coste la creó joergp. El programa pertenece al grupo Desarrollo, en concreto al de aplicaciones sobre Herramientas de depuración. Esta descarga ha sido comprobada por nuestro propio antivirus y ha determinado que no contiene virus.
Del desarrollador:
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.
Quizás esté interesado en probar otros programas, como Light Source Measure Tool, Canon IJ Network Tool o Discovery Tool, que podrían ser parecidos a Spock.
Comentarios
Subscribe to commentsPor favor, añade un comentario explicando las razones de tu voto.