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.

Project Activity

See All Activity >

License

GNU General Public License version 2.0 (GPLv2)

Follow spock

spock Web Site

User Reviews

Be the first to post a review of spock!

Additional Project Details

Intended Audience

Developers

Registered

2008-07-29

Similar Business Software

Telepresence

Telepresence streamlines your local development process, enabling immediate feedback. You can launch your local environment on your laptop, equipped with your preferred tools, while Telepresence seamlessly connects them to the microservices and test databases they rely on. It simplifies and...

See Software
TotalView

TotalView debugging software provides the specialized tools you need to quickly debug, analyze, and scale high-performance computing (HPC) applications. This includes highly dynamic, parallel, and multicore applications that run on diverse hardware — from desktops to supercomputers. Improve HPC...

See Software
Adzooma

Adzooma’s an award-winning digital marketing platform that helps businesses of any size grow by making online marketing easy. Our all-in-one platform helps you set up, manage, and optimize your Google, Facebook, and Microsoft advertising campaigns all in one place. By leveraging innovative...

See Software