OKullmann/oklibrary — pull request #411 by MGwynne (2012-04-11 23:14:30+00:00)
Title: Benchmarks for SAT2012.

Branch: sat2012_comp.

Updating docus with AES instances for SAT2012 and adding MD5sums and README.

Matthew