This repository is the record of a research program on Barnette's conjecture (1969): every 3-connected cubic bipartite planar graph is Hamiltonian. Cameron Nottingham led the program. AI agents did ...