- 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.
- Build system: Ant