OKullmann/oklibrary — pull request #338 by MGwynne (2012-01-17 11:06:48+00:00)
Title: Starting investigations into using SplittingViaOKsolver on 5-round DES.

Branch: cube_and_conquer.

Adding data on cube and conquer for 5-round DES.

Matthew