1. Formal Methods & Verification: Project 1 Sudoku for Nonomino board Farn Wang

2. Nonomino Sudoku game

3. Instruction for the sudoku program http://sourceforge.net/projects/redlib This program is built on top of REDLIB and solves the regular sudoku game. To run the program, you can type in the following command. % sdk input_file_name

4. Instruction for the sudoku program In the download, you can find the following files. 1. README.sudoku.txt 2. sudoku.c, the source file 3. sdk, the program 4. sdkmake, the make file for the program 5. 9, an input file 6. 9m, an input file with 8 solutions 7. 99, an input file 8. 9981, another input file