Spock | |
Download |
Spock Ranking & Summary
Advertisement
- License:
- Apache
- Price:
- FREE
- Publisher Name:
- Peter Niederwieser
- Publisher web site:
- http://pniederw.wordpress.com/
- Operating Systems:
- Mac OS X
- File Size:
- 367 KB
Spock Tags
Spock Description
Open source utility that will help you debug logic programs Spock is a prototype tool for debugging logic programs under the answer-set semantics. Spock provides debugging methods for propositional programs in Smodels or DLV syntax. The implemented techniques rely on ASP-meta-programming. Requirements: · Java
Spock Related Software