spock to run in linux online online with Winfy

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

Quick description about spock to run in linux online:

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.

.