Jos de Jong 3f890c9a1a Merge pull request #848 from tetslee/simplifyTerminate
Fix terminate condition of simplify to avoid endless loops
2017-05-11 19:56:28 +02:00
..
2016-10-21 17:58:53 +02:00
2016-08-12 16:40:00 +01:00