OKullmann/oklibrary — pull request #336 by MGwynne (2012-01-16 09:37:04+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.

Following the example from "vdw_2^pd(4,13) >= (519,538)" of "Experimentation/Investigations/RamseyTheory/VanderWaerdenProblems/plans/4-k/13.hpp".

Matthew