Download Shareware and Freeware Software for Windows, Linux, Macintosh, PDA

line Home  |  About Us  |  Link To Us  |  FAQ  |  Contact

Serving Software Downloads in 976 Categories, Downloaded 30.138.295 Times

spock 1.0

Company: spock.sourceforge.net
Date Added: November 01, 2012  |  Visits: 171

spock

Report Broken Link
Printer Friendly Version


Product Homepage
Download (27 downloads)

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.

Requirements: No special requirements
Release Date: November 01, 2012
Platforms: Windows, Mac, Linux
Users rating: 0/10

License: Freeware Size: 232.16 KB
SPOCK RELATED
Development Editors  -  Spock Proxy 0.8.7
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 how the database is partitioned, then aggregates the results from...
512 KB  
Entertainment  -  Lizard Spock 1.1.0.0
Battle for fame, glory, and to decide who will pay for the Chinese takeout. In this all new version of the fabled Rock Paper Scissors Lizard Spock - the only thing that stand between you and victory is your opponent. Added transparent tiles to...
1024 KB  
Games  -  Piedra, papel, tijeras, lagarto o Spock 1.0.0.0
La famosa variacion del Piedra, Papel y Tijera de Big Bang Theory. Piedra, papel, tijeras, lagarto o Spock Requirements: Windows Phone 8.1, Windows Phone 8
1024 KB  
Games  -  Rock Paper Scissor Lizard Spock 1.0.0.0
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...
1024 KB  
Games  -  Rock, Paper, Spock 1.5.0.0
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...
1024 KB  
Entertainment  -  Rock your Spocks 1.0.0.0
The age old game of Rock-Paper-Scissors, now with the addition of Lizard and Spock, as seen on your favourite show, The Big Bang Theory. We've invited some very special characters to fill in the five lead roles. They've shown some great in-app...
1024 KB  
Games  -  RPSLS 1.0.0.0
Rock-paper-scissors-lizard-Spock is a five-gesture expansion of the classic selection method game rock-paper-scissors. It operates on the same basic principle, but includes two additional weapons: the lizard (formed by the hand as a...
1024 KB  
Entertainment  -  R.P.S.L.S. 1.0.0.3
Play Rock Paper Scissors Lizard Spock on you Windows 8 PC. If you don't know what game is this, is a expanded version of old Rock Paper Scissors, also known as ick-ack-ock or roshambo. Created by Sam Kass with Karen Bryla, as "Rock Paper Scissors...
13 MB  
Games  -  RPSLS - NFC 1.0.0.0
Classic Rock Paper Scissors with extension of Lizard and Spock using NFC. Rock-paper-scissors-lizard-Spock is a five-gesture expansion of the classic selection method game rock-paper-scissors. It operates on the same basic principle, but...
1024 KB  
Games  -  RPSLS_The_Game 1.0.0.0
Rock-paper-scissors-lizard-Spock is an expansion of the classic selection method game rock-paper-scissors. It operates on the same basic principle, but includes two additional weapons: the lizard (formed by the hand as a sock-puppet-like mouth)...
1024 KB  
NEW DOWNLOADS IN MACINTOSH SOFTWARE, PROGRAMMING
Macintosh Software  -  MacX Free DVD to MP4 Converter for Mac 4.2.3
MacX Free DVD to MP4 Converter for Mac is an innovative yet free DVD to MP4 ripper software for Mac users without any functional limitation or watermark. It is able to convert DVDs including copy protected DVD movies to MP4, FLV, MP3 music on Mac...
36.23 MB  
Macintosh Software  -  MacX Free Rip DVD to QuickTime for Mac 4.1.9
MacX Free Rip DVD to QuickTime for Mac is totally free yet versatile DVD to QuickTime ripper software for Mac users to free rip both normal and copy-protected DVDs to QuickTime MOV, MP4 on Mac with excellent image quality. Besides the powerful...
36.3 MB  
Macintosh Software  -  MacX QuickTime Video Converter Free 4.1.9
MacX QuickTime Video Converter Free Edition is the best program designed for Mac users to free convert almost all HD videos and SD videos to QuickTime accepted formats on Mac with first rate quality.The input file formats covered by this powerful...
23.11 MB  
Macintosh Software  -  MacX Free Apple TV Video Converter 4.1.9
MacX Free Apple TV Video Converter is a 100% free video to Apple TV converter software which enables you to free convert most popular videos like AVCHD, MKV, M2TS, AVI, MPEG, WMV, FLV etc to Apple TV compatible format like MP4 format on Mac OS. In...
22.89 MB  
Macintosh Software  -  MacX Free DVD to PSP Converter for Mac 4.1.7
Looking for a solution to convert DVD to PSP for free? MacX Free DVD to PSP Converter for Mac is a 100% free DVD to PSP converter software which can assist you convert any DVD including copy protected DVDs to PSP supported MP4, H.264/MPEG-4 AVC...
36.26 MB  
Programming  -  MacX Free iMovie Video Converter 4.1.8
MacX Free iMovie Video Converter is a professional free iMovie video converter for Mac that can convert any SD and HD videos such as M2TS, MKV, AVI, WMV, FLV, VOB, 3GP and more to iMovie accepted video formats MOV & MP4 for importing to iMovie...
22.92 MB  
Programming  -  SwapList 0.1 Alpha
Java list implementation that swaps list items to a disk file in order to avoid out-of-memory error.
10.24 KB  
Programming  -  Mano 1.05 Beta
Mano is a makeFile navigator containing a tree grouping the targets.
20.48 KB  
Programming  -  Workhorse 1.2
Workhorse automates tedious file transfer and deletion tasks. Just tell it when or how often you want it to run, fill in the details, and let it do it's job! Do you know Applescript? Use Workhorse to run your scripts at a given time or interval....
225.28 KB  
Programming  -  PLT Scheme (formerly DrScheme) Darwin (PPC) 4.2
PLT Scheme is an interactive, integrated, graphical programming environment for the Scheme, MzScheme, and MrEd programming languages. PLT Scheme provides source highlighting for syntax and run-time errors, support for multiple language...
38.27 MB