spock online with Winfy

We have hosted the application spock in order to run this application in our online workstations with Wine or directly.

Quick description about spock:

Spock is a prototype tool for debugging logic programs under the answer-set semantics. It provides debugging methods for propositional programs in DLV or Smodels syntax. The implemented techniques rely on ASP-meta-programming.

Audience: Developers.


Categories: