OKullmann/oklibrary — pull request #317 by MGwynne (2012-01-08 11:14:53+00:00)
Title: Cube and conquer

Branch: cube_and_conquer.

Initial investigations into cube and conquer / SplittingViaOKsolver on the 5-round DES.

Matthew