2 Commits

Author	SHA1	Message	Date
practicalswift	6d1ae2a39c	[gardening] 2016 → 2017	2017-01-06 16:41:22 +01:00
Pavel Yaskevich	d37e93d3c2	[QoI] While merging equivalence classes don't forget to merge fixed types (if any) ... Otherwise merging of the representative equivalence classes leaves constraint system and graph disconnected, which might leave to incorrect solutions.	2016-12-31 01:29:04 -08:00