OKullmann/oklibrary — pull request #333 by MGwynne (2012-01-14 21:07:42+00:00)
Title: Starting investigations into using SplittingViaOKsolver on 5-round DES.

Branch: cube_and_conquer.

Investigations into using SplittingViaOKsolver on the canonical DES instances.

I'm currently adding the data for the 1-base instance as well. I also have data for AES(r,2,2,8) using cube and conquer as well, however, I need to add the data for that instance in general, which might take a little longer.

Matthew