Skip to main content

Browse the archive

https://github.com/utsa-saga/vc8proof
15 November 2021, 16:55:38 UTC
Revision 3b2c0daf47f254fa628590755dfcf99417f24fa2 authored by utsa-saga on 19 February 2021, 01:18:37 UTC, committed by GitHub on 19 February 2021, 01:18:37 UTC 
Add files via upload
1 parent 7dad3fc
Raw File
Tip revision: 3b2c0daf47f254fa628590755dfcf99417f24fa2 authored by utsa-saga on 19 February 2021, 01:18:37 UTC
Add files via upload
Tip revision: 3b2c0da
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 Unsolved/

g++ generatecases.cpp -o generatecases

./generatecases

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.
back to top