1 Commits (7fc4046fbc47a352679c81b7e2af35f232a82dd2)

Author SHA1 Message Date
Matthias Volk 51b210a1d6 Test case for symmetry reduction 6 years ago