OKullmann/oklibrary — pull request #341 by MGwynne (2012-01-19 16:44:42+00:00)
Title: Des generation functions

Branch: des_generation_functions.

Adding output functions for DES partial assignments and clause-sets.

Also adding todo on adding scripts to automatise generation of total assignments, and compare this with SplittingViaOKsolver output.

Matthew