Spock 1.0 était disponible en téléchargement sur le site Web du développeur lors de notre dernière vérification, mais nous ne pouvons pas garantir que le téléchargement gratuit est disponible.
Dans notre logithèque, vous trouverez ce logiciel dans Outils de développement et plus précisément Outils de déboguage. Est recommandé de vérifier les fichiers téléchargés avec un antivirus gratuit car nous ne pouvons pas garantir qu'ils sont sûrs. Ce programme gratuit a été à l'origine produit par joergp.
Du développeur:
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.
Utilisateur de Spock, vous pourriez être intéressé aussi par ces programmes : Visual Studio Code, Wine ou Brackets.