Obtenez gratuitement Spock 1.0 dans notre logithèque. Dans notre logithèque, vous trouverez ce logiciel dans Outils de développement et plus précisément Outils de déboguage. Ce téléchargement a été vérifié par notre antivirus intégré, qui l'a certifié totalement propre. 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, BBEdit ou Wine.