Enumeration Of Williamson Sequences Of Even Order

These files contain an enumeration of all inequivalent Williamson sequences of even orders n < 65 as defined in the paper "A SAT+CAS Method for Enumerating Williamson Matrices of Even Order" by Bright, Kotsireas, and Ganesh. This paper has been accepted to appear at AAAI-18, the thirty-second AAAI conference on artificial intelligence. Every line in each file contains exactly one Williamson sequence, with spaces separating the members A, B, C, and D of the Williamson sequences. The sequence entries are encoded using the characters + for 1 and - for −1.