OKullmann/oklibrary — pull request #350 by MGwynne (2012-02-05 21:27:13+00:00)
Title: Des satisfying assignments

Branch: des_satisfying_assignments.

Changes relating to finding the satisfiable sub-instance in SplittingViaOKsolver experiments on DES.

1) Specifying DES random plaintext, key and ciphertext generation function, including splitting these functions up to allow better explanation and testing.
2) Providing C++ applications, PassExtends, which checks whether a partial assignment extends another, and PassClashes which checks whether two partial assignments clash.
3) Providing a script for computing a satisfying assignment for DES instances.
4) Computing the satisfying sub-instance in the splitting of 5-round DES at depth 600, and now 700.

Matthew