Projects / Domino on Acid

Domino on Acid

Superficially, Dominoes on Acid is a solitaire variant of Dominoes with weird colorful tiles (and this view is enough to play the game). But on a deeper level it is a GUI for natural deduction. Every completed domino is equivalent to a proof of a tautology in classical propositional logic. The game can be played online as an applet or offline as an application. It is built on a simple isometric engine that can be used independent of the game.

Tags
Licenses
Operating Systems
Implementation

Recent releases

  •  23 Dec 2009 16:44

    Release Notes: A bug was fixed that prevented advancing beyond level 187.

    •  04 Jan 2003 11:06

      Release Notes: This version adds a Walkthrough (accessible through the Help menu) that explains the tips and tricks necessary to play the game.

      •  01 Sep 2002 03:14

        Release Notes: Alt-left button can now be used instead of the right mouse button to allow the game to be played with one-button mice. A missing paragraph was added to the manual that explains the restrictions that apply when using bonus blocks.

        Screenshot

        Project Spotlight

        OpenStack4j

        A Fluent OpenStack client API for Java.

        Screenshot

        Project Spotlight

        TurnKey TWiki Appliance

        A TWiki appliance that is easy to use and lightweight.