Domino On Acid

From Libregamewiki
Jump to: navigation, search
Domino On Acid
Domino On Acid - screenshot.png
Domino On Acid
GenrePuzzle
Latest release2009.12.22
Release dateDecember, 23rd, 2009
DeveloperMatthias S. Benkmann
Code licenseGPLv2
Media licenseGPLv2
P. languageJava

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]

References[edit]