OKullmann/oklibrary — pull request #315 by MGwynne (2012-01-08 11:13:12+00:00)
Title: Aes 2 2 4 results

Branch: aes_2_2_4_results.

Adding results from new solvers, and using several translations on AES(r,2,2,4) for r in 1 to 20.

Matthew