Domino On Acid
Jump to navigation
Jump to search
| Domino On Acid | |
|---|---|
 Domino On Acid | |
| Genre | Puzzle |
| Latest release | 2009.12.22 |
| Release date | December, 23rd, 2009 |
| Developer | Matthias S. Benkmann |
| Code license | GPLv2 |
| Media license | GPLv2 |
| P. language | Java |
| Homepage | http://www.winterdrache.de/freeware/domino/index.html |
| Contribute | |
| Domino On Acid is a free game. This means that the source code and media files are available to be studied, modified, and distributed. Most projects look for help with testing, documentation, graphics, etc., as well. | |
Domino is a natural deduction visualization in the form of a game of unusual dominoes. It was written in Java by Matthias Benkmann starting in 2000. It was licensed under the GPLv2.
This a colorful variant of dominoes is a simple matching game. The inference rules of natural deduction are the basis for the game. Proof of a tautology are coded as solvable level.