I updated my TornadoFX Sudoku solver with a branch-and-bound algorithm implemented from scratch, rather than cheating and using a library to do the solving for me. https://github.com/thomasnield/kotlin-sudoku-solver