Cover artwork of Domino On Acid

// Archive entry № 0755

Domino On Acid

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.

Players
Region
Worldwide
Unrated Be the first · 5 views

Rate this game

Your rating, from 1 to 5 stars
Tap a star to submit

About the game

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.

Technical notes

Imported from LibreGameWiki. Verify platform-specific requirements on the linked project/download page before installing.

Files & downloads

VG90 is a reference and discovery archive. We do not host game files; download buttons lead to the external source listed for the entry.

Download / project page

License: GPLv2

Imported from LibreGameWiki: https://libregamewiki.org/Domino_On_Acid
Article text attribution: LibreGameWiki contributors, CC BY 3.0/GFDL. Game/media license detected from the infobox: GPLv2.

// Keep exploring

Similar Games