Download

The MathCheck repositories are hosted on Bitbucket:

  • MathCheck repository (Ruskey–Savage and Norine conjectures)
  • MathCheck2 repository (Williamson, Craigen–Holzmann–Kharaghani, good matrix, best matrix, and projective plane conjectures)

The Williamson sequence, best matrix, and complex Golay pair enumerations performed by MathCheck and a collection of eight-Williamson sequences found by MathCheck are also available for download.