Alloy Support for Killer Sudoku
[Benchmarks_CSolver.git] / killerSudoku / run.sh
1 #!/bin/bash
2
3 export CLASSPATH=./csolver/original.jar:.:$CLASSPATH
4 export PYTHONPATH=./csolver
5 export LD_LIBRARY_PATH=./csolver
6 # For Mac OSX
7 export DYLD_LIBRARY_PATH=./csolver
8 # For sat_solver
9 export PATH=./csolver:.:$PATH
10
11 $@