cgta26

Code accompanying “Smallest Cubic Non-1-Planar Graphs,” including solver improvements and computational verification tools.

See cubic/verification.md for instructions to reproduce Facts 1–5.