On Sun, Jan 27, 2013 at 18:15:55 +0100, Mario Blättermann <mario.blaettermann at gmail.com> wrote: > >sudoku-savant -- Solve and generate sudoku puzzles through logical means That one hasn't been orphaned in the package database yet.