OKullmann/oklibrary — pull request #334 by MGwynne (2012-01-15 20:23:35+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