OKullmann/oklibrary — pull request #401 by MGwynne (2012-03-07 12:06:16+00:00)
Title: Splitting data

Branch: splitting_data.

Started adding splitting data for 05-round DES min-instances.

Comparison with further orderings is forthcoming in a new set of commits.

Matthew