OKullmann/oklibrary — pull request #392 by MGwynne (2012-03-05 10:12:04+00:00)
Title: Adding splitting data for 05-round DES min-instances.

Branch: splitting_data.

Starting to add splitting data for the minimum instances.

Data for the OKsolver will follow once the scripts are fixed.

Work is ongoing on additional analysis w.r.t different orderings.

Matthew