Domino on Acid 1.2

Date Added: April 11, 2010 | Visits: 2.955

Report Broken Link
Printer Friendly Version

Product Homepage
Download (98 downloads)

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). 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. The game can be played online as an applet or offline as an application. It is built on a simple isometric engine that can be used independent of the game.. Natural deduction calculus visualized as a game of dominoes

Requirements: No special requirements

Platforms: Linux

Keyword: Acid, Domino, Dominoes, Education, Miscellaneous, Solitaire, Variant, Weird

Users rating: 0/10

License: Freeware

Size: 368.64 KB

USER REVIEWS

More Reviews or Write Review

DOMINO ON ACID RELATED

Puzzles - Dominoes on Acid 1.0 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.	374.94 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
Home & Leisure - MB Domino Oracle 1.25 MB Free Domino Oracle is a divination softwares based on the method of divination by dominoes also known as Cleromancy. MB Free Domino Oracle is an interesting software with a simple to use interface. The program is designed to predict your...	1.1 MB
Games - DominoLogic 1.0 A domino game for the puzzle enthusiast. Combining skill, deduction and fun, DominoLogic is sure to give even the most committed puzzler a challenge. Each game has 28 dominoes that you must link using each domino only once. DominoLogic is a...	1.85 MB
Education - FlashBack 0.4 pre6 FlashBack is a flashcard scheduler based on a variant of Sebastian Leitners method. It allows one to create and review simple (text only) flash cards. It supports Unicode and complex scripts (via Pango). A simple, tab-separated cardfile format...	49.15 KB
Education - Asymptopia Flashcard System 2.0 Asymptopia Flashcard System project is a LaTeX flash card system for student and professional education. Asymptopia Flashcard System uses Motif and LaTeX to produce, manage, and use attractively formatted flashcards. You load some or all of...	1.2 MB
Education - CTF Beta2 CTF project is a multi-agent capture-the-flag framework for education. This project was started by Jason Rohrer during the fall of 2000 and was initially used to teach CS 472, Introduction to AI, at Cornell University. A homework assignment...	112.64 KB
Games - MB Oracle II 1.20 Oracles have always helped people find solutions to their problems. These can be looked upto as a guide for helping people lead a better life. MB Oracle II consists of Domino Oracle, Good Luck Symbol Oracle, Mahjong Oracle, Celtic Ogham Oracle &...	3.03 MB
Education - CyberTester 2 0.3.0 CyberTester is a Web-based application originally designed to allow teachers to create tests/exams/assignments (consisting of single-choice, multiple-choices or keywords-based questions) and assign them to students to conduct online tests....	11.4 MB
Education - QueryDict 0.2 QueryDict is basically a simple KDE front-end for dict, the free dictionary.. Download KDE-Apps.org Community Portal for KDE Applications Software Office Multimedia Graphic Network Printing Education Games Development Administration Scientific...	6.14 KB

NEW DOWNLOADS IN LINUX SOFTWARE, EDUCATION

Linux Software - EasyEDA PCB Designer for Linux 2.0.0 EasyEDA, a great web based EDA(Electronics Design Automation) tool, online PCB tool, online PCB software for electronics engineers, educators, students, makers and enthusiasts. Theres no need to install any software. Just open EasyEDA in any...	34.4 MB
Linux Software - wpCache® WordPress HTTP Cache 1.9 wpCacheÂ® is a high-performance, distributed object, caching system application, generic in nature, but intended for use in speeding up dynamic web applications, by decreasing database load time. wpCacheÂ® decreases dramatically the page...	3.51 MB
Linux Software - Polling Autodialer Software 3.4 ICTBroadcast Auto Dialer software has a survey campaign for telephone surveys and polls. This auto dialer software automatically dials a list of numbers and asks them a set of questions that they can respond to, by using their telephone keypad....	488 B
Linux Software - Total Video Converter Mac Free 3.5.5 Total Video Converter Mac Free developed by EffectMatrix Ltd is the official legal version of Total Video Converter which was a globally recognized brand since 2006. Total Video Converter Mac Free is a free but powerful all-in-one video...	17.7 MB
Linux Software - Skeith mod_log_sql Analyzer 2.10beta2 Skeith is a php based front end for analyzing logs for Apache using mod_log_sql.	47.5 KB
Education - KB Piano 2.5.2 KB Piano will turn your computer into a piano and more. Easily create song with multiple instruments (guitar, bass, drums, and vocals from your microphone). If you don't know music theory, use the application tools to automatically create...	10.61 MB
Education - Learn Words 0.1 This program helps you to learn words of foreign languages. You can type in the words and their meanings and then the computer asks them and rates you. You can also grab the words from a file and look up their meanings with the included electronic...	61.44 KB
Education - Familier for Linux 0.91.12 Familier is cross-platform Family Tree management (Genealogy) Software using QT. It supports viewing/editing file tree using drag-drop in multiple ways. Events allow you to define events in any number.	5.88 MB
Education - Law Leecher 1.4u1 Law Leecher is a multi-threaded web crawling tool which extracts laws from the EU law database PreLex (http://ec.europa.eu/prelex/). It's written in Ruby. The latest version is 1.4 You can also visit the SourceForge project management...	430.08 KB
Education - The Brookshear Machine 1.0 The Brookshear Machine is an assembly language compiler that uses a language specification in Computer Science: An Overview, by Glenn Brookshear.	51.2 KB

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