Domino On Acid

Home: http://winterdrache.de/freeware/domino/index.html, https://sourceforge.net/projects/nddomino
State: mature, inactive since 2009
Keyword: puzzle, content open
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

Natural deduction visualization in the form of a game of unusual dominoes.

Building