OKullmann/oklibrary — pull request #311 by MGwynne (2011-12-06 20:35:17+00:00)
Title: Adding definitions for MaxSAT.

Branch: maxsat_def.

Per our e-mails on 29/11/2011 about the AES MaxSAT benchmarks, adding definitions in the OKlibrary at the Maxima level for discussion.

Matthew