Sudoku as Satisfiability 2.1 released!

[Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>]

Among the new features:
- X-sudoku support.
- 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.

That version has been customized for the French Science Fest 
(http://www.recherche.gouv.fr/fete/2006/).

Many thanks to Ivor Spence for that great application!

   Daniel