https://github.com/utsa-saga/vc8proof
Tip revision: 52131426de87132b36be1b1c0236a3b9c19bc5c8 authored by utsa-saga on 20 February 2021, 19:45:25 UTC
Create colored code.rtf
Create colored code.rtf
Tip revision: 5213142
README.md
# 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.
