Domino On Acid

Domino is a natural deduction visualization in the form of a game of unusual dominoes.

Home: http://winterdrache.de/freeware/domino/index.html, https://sourceforge.net/projects/nddomino
State: mature, inactive since 2009
Keywords: puzzle, open content
Code repository: https://git.code.sf.net/p/nddomino/code
Code language: Java
Code license: GPL-2.0
Assets license: GPL-2.0
Developer: Matthias S. Benkmann

Building