Spaken Rangschikking & Samenvatting
- Naam uitgever:
- Peter Niederwieser
- Uitgever website:
- http://pniederw.wordpress.com/
- Besturingssystemen:
- Mac OS X
Spaken Tags
Spaken Beschrijving
Open Source Utility die u zal helpen bij het debuggen van logica-programma's Spock is een prototype-tool voor het debuggen van logische programma's onder de antwoordset-semantiek. Spock biedt foutopsporingsmethoden voor propositionele programma's in Smodels- of DLV-syntaxis. De geïmplementeerde technieken vertrouwen op asp-meta-programmering. Vereisten: · Java
Spaken Gerelateerde software