# 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: 

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.