isupeene/sparse-matrix — pull request #1 by isupeene (2014-09-19 18:57:40+00:00)
Title: Added the initial matrix contracts file with a sample pre- and postcondion

@bsoetaer