OKullmann/oklibrary — pull request #335 by MGwynne (2012-01-15 23:27:42+00:00)
Title: Starting investigations into using SplittingViaOKsolver on 5-round DES.

Branch: cube_and_conquer.

Cube and conquer on 5-round DES. Using now ProcessViaOKsolver, read_processsplit_minisat, and updating copyright year.

Matthew