OKullmann/oklibrary — pull request #337 by MGwynne (2012-01-16 20:14:09+00:00)
Title: Starting investigations into using SplittingViaOKsolver on 5-round DES.

Branch: cube_and_conquer.

Addressing issues in e-mail.

Only issue not addressed:

+> nohup ProcessSplitViaOKsolver SplitViaOKsolver_D600des_6t4_canon_r5_s1cnf_2012-01-04-144308 &

Could you explain what the problem with this line is?

It's the same as in

Experimentation/Investigations/RamseyTheory/VanderWaerdenProblems/plans/4-k/13.hpp

as far as I can see.

Matthew