This is a new improved version of Ivor Spence 's Sudoku as Satisfiability application.
That version has been developed to be demonstrated during the French nationalm Science Fest, 9 to 15 october 2006.
The GUI has been cleaned up.
French and English localization.
It is now possible to import/export puzzles.
The puzzles can be printed.
A progression bar appears now when big (16,25, and 36) puzzles are generated.