Bugfix for Sudoku solver + Using Glucose instead of Pycosat
-rw-r--r-- 242 .gitignore
-rwxr-xr-x 73 common.sh
drwxr-xr-x - hexiom
drwxr-xr-x - killerSudoku
drwxr-xr-x - nqueens
-rwxr-xr-x 178 runall.sh
drwxr-xr-x - satPlan2006
drwxr-xr-x - sudoku-csolver