Add tests for matrix reduction of complex examples
authorStefan Huber <shuber@sthu.org>
Mon, 11 Nov 2013 16:02:42 +0000 (17:02 +0100)
committerStefan Huber <shuber@sthu.org>
Tue, 12 Nov 2013 14:32:57 +0000 (15:32 +0100)
- Move matrix_reduction() to a persistence class.
- Add persistence test suite.
- Add a few helper functions to boolean_matrix classes.


No differences found