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 |
| Contribute | |
| Domino On Acid is a free game. This means that the source code is 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.