Domino On Acid

From Libregamewiki
Jump to: navigation, search
Domino On Acid
Domino On Acid - screenshot.png
Domino On Acid
Latest release2009.12.22
Release dateDecember, 23rd, 2009
DeveloperMatthias S. Benkmann
Code licenseGPLv2
Media licenseGPLv2
P. languageJava
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.

External links[edit]