Spock

por joergp

Descargar ahora desde el sitio web del desarrollador

Tipo de licencia: Código abierto

Descargas totales:4

Latest version:1.0

Reportar información incorrecta

Descripción

Captura de pantalla

Spock 1.0 estaba disponible para descargar desde el sitio web del desarrollador cuando lo revisamos. No podemos garantizar que la descarga gratituita esté disponible. Originariamente, esta herramienta sin coste la creó joergp. El programa pertenece al grupo Desarrollo, en concreto al de aplicaciones sobre Herramientas de depuración. Se recomienda verificar los archivos descargados con un antivirus gratuito, ya que no podemos garantizar que sean seguros.

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 Discovery Tool o SteelSeries ExactMouse Tool, que podrían ser parecidos a Spock.

Descarga Spock desde el sitio web del desarrollador

útil

Cómo proteger tu Mac del malware

útil

Cómo compartir archivos

útil

Cómo escribir con 10 dedos