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.
This software was checked for viruses and was found to be clean. Click here to see antivirus report.
trusted
DOWNLOAD
232 KB
Free