Dominoes on Acid 1.0

Company: winterdrache.de

Date Added: July 10, 2012 | Visits: 471

Report Broken Link
Printer Friendly Version

Product Homepage
Download (45 downloads)

Superficially, Dominoes on Acid is a solitaire variant of Dominoes with weird colorful tiles. But on a deeper level it is a GUI for natural deduction. Every completed domino is equivalent to a proof of a tautology in classical propositional logic.

Requirements: No special requirements

Release Date: July 10, 2012

Platforms: Windows, Mac, Linux

Users rating: 0/10

License: Freeware

Size: 374.94 KB

USER REVIEWS

More Reviews or Write Review

DOMINOES ON ACID RELATED

Education - Domino on Acid 1.2 Domino on Acid project is a weird colorful solitaire variant of dominoes that visualizes natural deduction. Superficially, Dominoes on Acid is a solitaire variant of Dominoes with weird colorful tiles (and this view is enough to play the game)....	368.64 KB
Network & Internet - BASE+ 1.3.0 BASE+ (Basic Analysis and Security Engine) is based on ACID project. This application provides a web front-end to query and analyze the alerts coming from various IDS systems (e.g. Snort).	657.84 KB
Board Games - Tams11 Block Dominoes 1.0.1.2 Try this fun yet simple domino game. You receive 7 dominoes. Match the exposing number on the domino at the end of the line. If you cannot make a match and there are dominoes left in the boneyard, you must draw a domino. The first player to rid...	1.47 MB
Business - Amino Acid Table Widget 1.2 The Amino Acid Table widget displays general information on amino acids conformed with the IUPAC-IUB recommendations.
Games - Lights On 1.1 Turn on all the lights in the board to solve the puzzle and fight for the first place in the world wide score board.	325 KB
Shell Enhancements - Caps Lock On 1.0 Caps Lock will automatically turn on after computer reload.	289 KB
Misc. Web Browser Tools - Snap Shots Add-On for Internet Explorer 1.0 Put Snap Shots, the most popular website upgrade in the world, on the sites you visit every day, like Google, Yahoo!, and MSN Live, MySpace, Amazon and Wikipedia, plus blogs and many other sites. Snap Shots Add-On for Firefox turns their ordinary...	141.53 KB
Utilities - Driver On Demand alpha1 Driver on demand is an attempt to ease driver installations in linux. Basically, what happens is that a user plugs any device into the computer, and if a driver isnt found, the client connects to a CGI server, to check if the device is known, and...	32.77 KB
Network & Internet - Enterprise Sign On Engine 0.3 Enterprise Sign On Engine (ESOE) is an advanced system which allows an enterprise to meet its individual goals for integrated identity management, federation, single sign on, authorization and accountability for resource access in a very...
Web Browser Tools - Sidebar on Right 0.3 Sidebar on Right is an extension which moves the sidebar to the right side of the browser..	3.07 KB

NEW DOWNLOADS IN GAMES, PUZZLES

Games - JPipsoh 1.0 Here you will find a set of Java applications I have developed over time. Most (if not all) are experiments with Java.	348.16 KB
Games - Earthdawn Character Editor 0.35Alpha The Earthdawn Character Editor is a java-based utility to create and manage character for the role-playing game Earthdawn Third Edition. It is intend to be very flexible, so almost the full behaviour can be configured through xml-based config-files.	13.09 MB
Games - OpenCity 0.0.6 OpenCity is a full 3D city simulator game project. Contrary to popular on-line games such as roulette and flash games, you have to download it to your computer before playing. OpenCity is written in standard C++ with OpenGL and SDL from scratch....	7.96 MB
Games - Tropic Euro 1.0 Tropic Euro is a strategy game with the action set in 1946. Europe is recovering from war and imports goods from the tropical regions of the world. Each player owns a separate island with spaces for city buildings, plantations, and...	389.12 KB
Games - ApoSimple 1.02 ApoSimple ist ein kleines, einfaches und simples Spiel f?N?r Zwischendurch. Ziel ist es die farbigen Kreise zu beseitigen. Dazu klickt ihr auf einen wei?NYen Kreis und dieser bewegt sich dann in die Richtung, die der Halbkreis im Kreis vorgibt....	143.36 KB
Puzzles - Frogspawned 1.0 Frogspawned is a free, open-source game which I have entered in the uDevGames 2004 Mac game development contest. Voting for the contest last from 8th November 2004 till 21st November 2004. So please download and vote for Frogspawned. There are...	2.87 MB
Puzzles - ItemPimper 90811 Its main use is together with RatingBuster; by tweaking the gems and enchants, you can see exactly what effects they will have on your important statistics. You can assign a keybinding to it (I use 'i' myself); then when you're looking...	112.64 KB
Puzzles - jose 1.4.4 jose is a graphical Chess tool.You can store chess games in a database.You can view and edit games (including variations and comments).You can play against a plugged-in chess engine and use it for analysis. Features 3D board view.	15.58 MB
Puzzles - Rezerwar 0.4.2 rezerwar is a puzzle game that could be quickly described as the illegitimate child of a known tetromino game and the average pipe game. Graphics, music and coding are done by myself. Sound effects are edited and resampled from freesound.org, see...	5.04 MB
Puzzles - Shariks 0.2.2 Link all small bubbles together and turn them into player's color.	92.16 KB

Windows Software	BeOS Software
Macintosh Software	Linux Software
PDA Software	OS/2 Software
Mobile Software	Scripts