I believe equalities found here ultimately end up in Ccx.make_unique which does deduplicate. I think usually we won't find too much duplicates here (at most the number of constraints anyways) so that it shouldn't be an issue; I'd rather update the Relation API to use a set everywhere rather than do it locally. I will open an issue for this.
I believe equalities found here ultimately end up in Ccx.make_unique which does deduplicate. I think usually we won't find too much duplicates here (at most the number of constraints anyways) so that it shouldn't be an issue; I'd rather update the
Relation
API to use a set everywhere rather than do it locally. I will open an issue for this._Originally posted by @bclement-ocp in https://github.com/OCamlPro/alt-ergo/pull/1056#discussion_r1528659060_