Gentooza's Sudokus Resolver is a terminal application for resolving sudokus, it can use customizable algorithms as plugins