OKullmann/oklibrary — pull request #436 by MGwynne (2013-05-20 10:03:57+00:00)
Title: Updating extraction script for Satz.

Branch: satz_extraction.

Updating extraction script for Satz.

Now changing "prpr" column to "dc" to bring in line with OKsolver.

Matthew