Home > By category > Developer Tools >Bug Trackers > spock



spock

  • Downloads: 
  • Views: 
  • Rating:

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.

Free download from Shareware Connection - 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.

Publisher: spock.sourceforge.net | License: Freeware | Price: 0.00
Version: 1.0 | Size: 232 KB | Platform: Linux, Mac OS X, WinOther
Released Date: 18-10-2012 | Rating: 0 | Title: spock

Author Url: http://spock.sourceforge.net
Program Info Url: http://spock.sourceforge.net
Download Url: http://voxel.dl.sourceforge.net/project/spock/spock/Spock%20Release%201.0/spock.jar

spock related downloads:

Spock Proxy - Spock Proxy supports range-based horizontal paritioning of a large MySQL database. The proxy intercepts SQL queries from the client, sends queries to the correct databases based on the partitioning, and returns aggregated results to the caller.

Rock, Paper, Spock - Variation on the classic game Rock, Paper, Scissors. Now included is Spock and Lizard! Gives more variety and play options. Simple game to play against computer. Keepts track of win/lose/tie statastics. Small in size, and great tool to learn the...

Rock Paper Scissors Lizard Spock Free - This updated version of the classic Rock Paper Scissors includes 2 new moves, Lizard and Spock. Compete to win with the fastest time with other players around the world via the leader boards. This Free/Trial is limited to 25 or 50 round games and...

Rock, Paper, Scissors, Lizard, Spock for WP7 - Rock, Paper, Scissors, Lizard, Spock Game from The Big Bang Theory.

Rock Paper Scissor Lizard Spock - This app is based on the hit comedy series The Big Bang Theory where Sheldon Cooper invents a new version of the well known Rock-Paper-Scissor hand game called Rock-Paper-Scissor-Lizard-Spock. He adds both the Lizard and the Startrek character...

Shareware Connection periodically updates pricing and software information of 'spock' from company source 'spock.sourceforge.net' , so some information may be slightly out-of-date. You should confirm all information before relying on it. Software piracy is theft,  Using 'spock' crack, password, serial numbers, registration codes, key generators is illegal and prevent future development of spock.

New Reviews

Trend Micro HouseCall - With time, PC users find it increasingly difficult to keep their systems free of malware and rogue apps, despite using latest and feature packed security software. This is mostly owing to the evolving nature of malware and newer types of ...

NovaBench - PC performance benchmarking is something that may not interest average users much but tech savvy lot resort to such apps to find out prowess and capability of their laptops and desktops. While there are quite a few PC benchmarking apps in market, ...

Argente - Registry Cleaner - Keeping the Windows registry clean and optimized is essential for getting optimum performance from the PC. While most users do not prefer tinkering with registry settings, it may get laden with erroneous and invalid entries over prolonged usage. ...

Sculptris - For 3D modeling and design, there are so many apps to pick from noondays. From feature laden and expensive apps of Autodesk to mid level and lesser known contenders, users are spoilt for choice. However, it is also possible to use a decently ...

SeaTools for Windows - Among all the hardware components used in a desktop or laptop, the hard disk is a prime one. In the hard disk is not in good shape, even a PC with powerful CPU and lots of RAM will malfunction or run sluggishly. Hard disk failure can lead to data ...

Cold Turkey - To keep your kids and teenage family members away from pornographic and objectionable websites you can use parental control software. Such apps offer numerous restrictive measures to limit PC and web access for young users. However, adult users ...

HDD Guardian - No matter how costly a desktop or laptop is, it is necessary to keep a tab on its hardware components. While you can spot signs and symptoms of hardware malfunction and impending failure in some instances, some mishaps may just strike you out of ...

Xion Audio Player - People use computers for various reasons including official work and entertainment. However, it is quite natural for a workaholic to play music files to alleviate boredom at times. If you have no penchant for the WMP bundled with your copy of ...

ArtSage - PC users often need to make use of third party applications for making slideshows. While Windows inbuilt utility for viewing images and running slideshows keeps getting better with time, for many users third party apps seem better option. If you ...

TinyWall - Nowadays, it is quite hard to locate a computer user who does not need to access the web. While you browse the web for any need, it is imperative that you use security applications to safeguard your computer from various online threats. The ...




New Downloads

BMDFM

BMDFM (Binary Modular DataFlow
Machine) is software, which
enables running an application
in parallel on shared memory
...

C# HTML to PDF

C# & VB .Net HTML to PDF
conversion library for
Microsoft .net web, desktop &
console applications. IronPDF
C# & VB ...

PostgreSQL ODBC driver
(32/64 bit)

Devart ODBC Driver for
PostgreSQL provides
high-performance and
feature-rich connectivity
solution for ODBC-based ...

SetupBuilder

SetupBuilder is a powerful
Installation Authoring and
Configuration Management
environment for developers and
...

Universal Data Access
Components

UniDAC (Universal Data Access
Components) is a powerful
library of non-visual
cross-database data access
components for ...

SSH SFTP Library

This SFTP library for .NET is
fast and comprehensive. It
lets you transfer files over
SSH channel quickly with just
a few ...

INNOvation Studio

GUI Interface to Inno Setup

Nevron Diagram for .NET

Nevron Diagram for .NET is a
fully managed, extensible and
powerful diagramming
framework, which can help you
create ...

XmlInfo

XMLInfo is a framework
comprising three components
that collaborate with one
another to streamline the
readme information ...

Comm Operator

It is a professional tool for
serial port, TCP/IP, UDP, I2C,
and HTTP application\'s
design, development, debug and
test. ...

VISCOM Movie Thumbnail
ActiveX SDK

Supports PDF, GIF, ICO, JPEG,
J2K, JP2, JPC, J2C, PCX, PNG,
PSD, TIF, WMF, WBMP, TGA, PGX,
RAS, PNM.Allow user to define
...

Multipurpose DirectShow
Encoder SDK

The Datastead Multipurpose
Encoder SDK is a DirectShow
Sink filter able to compress
or encode audio/video by
invoking in ...