proof071001.tgz   -- TSP proof-checking code. October 1, 2007.
README   -- Short directions for running the code.

allproofs.tgz   -- Proofs for att532 and pla85900. June 3, 2007. To test Held-Karp use "bbcheck -h att532.tsp att532.hkproof".