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 29.543.655 Times

Domino on Acid 1.2

  Date Added: April 11, 2010  |  Visits: 791

Domino on Acid

Report Broken Link
Printer Friendly Version


Product Homepage
Download (79 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  -  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  
Linux Software  -  SLAX 6.0+
Slax is a modern, portable, small and fast Linux operating system with a modular approach and outstanding design. Despite its small size, Slax provides a wide collection of pre-installed software for daily use, including a well organized graphical...
190 KB  
Linux Software  -  GTK+ 2.5
GTK+, which stands for the GIMP Toolkit, is a library for creating graphical user interfaces for the X Window System. It is designed to be small, efficient, and flexible. GTK+ is written in C with a very object-oriented approach. Language bindings...
60 MB  
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  -  EgoNet for Linux 2011-03-31
Egonet is a program for the collection and analysis of egocentric network data. It helps you create the questionnaire, collect data, and provide general global network measures and data matrixes that can be used for further analysis by other...
10.87 MB  
Education  -  Vectronics 0.2
Vectronics is a way to share schematics. It makes quick svg images that can be displayed in a browser and reopened and reedited as a schematic. Hyperlinks can also be added to link to data sheets or source code. It is a simple xml based drawing...
399.36 KB  
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