Spock

Spock

Ooops
le lien de téléchargement a disparu

Type de licence: Open source
Nombre de téléchargements:4
Latest version:1.0
Signaler des informations incorrectes

Description

Screenshot
Capture d'écran

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, Wine ou Brackets.

Commentaires

Merci d'avoir évalué ce programme!
Merci d'ajouter un commentaire expliquant les raisons de votre vote.
Votre vote:
Info mise à jour:
Logiciel PC associé
Dernières mises à jour
Commander One
Commander One

Optimisation Système

Telegram
Telegram

Texting & Video calls

Facilite les téléchargements Facilite les téléchargements
Découvrez FDM
Le support des extensions Vous pouvez obtenir des modules complémentaires qui téléchargent des fichiers/vidéos à partir de sites Web arbitraires.