Our website provided a free download of Spock 1.0 for Mac. The actual developer of this free software for Mac is joergp. Our built-in antivirus checked this Mac download and rated it as 100% safe. The program is categorized as Developer Tools.
From the developer:
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.
You may want to check out more Mac applications, such as Prototypes, Affrus or KBSwitch, which might be related to Spock.
Puzzle