# vc8proof
This program is intend to show that there does not exist a candidate ordering that is realizable in limited visibility terrain of size 8.

How to execute:

unzip Unsolved.zip

cd Solver/

chmod +x ./solve.sh

./solve.sh

Note that ./solve.sh will create 23 processes to verify all 9 * 10 * 11 * 12 = 11880 cases.