Scripts for running all the benchmarks + configurable serialization
-rw-r--r-- 225 .gitignore
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