Domino on Acid is a solitary game with a colorful and unusual twist. It incorporates natural deduction, and the game offers players a unique visual experience while they play dominoes.
Each completed domino in the game represents a proof of a tautology in classical propositional logic, which means that you can use this game as a tool to sharpen your deductive skills. You can play Dominoes on Acid online as an applet, or download it as an application to your computer for offline play.
One of the coolest things about the game is that it is built on a simple isometric engine that can be used independently of the game itself. That means if you're interested in creating your own games or applications that incorporate elements of natural deduction, you can use the same engine as Dominoes on Acid. Overall, this is a perfect game for anyone who loves a good mental challenge and wants to train their brain in a fun and colorful way.
Version 1.2: N/A