Adding support for SMT solvers
-rw-r--r-- 267 .gitignore
-rwxr-xr-x 171 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