The basics of structure identification are implemented in this branch. It does not have the implementation for all the constraints/invariants, and it ignores implicit constraints for now (because they have no implementations). Cycle removal is also still required, since it requires some invariants to get a soft constraint counterpart, which would bloat this already quite (possibly too) large PR.
The basics of structure identification are implemented in this branch. It does not have the implementation for all the constraints/invariants, and it ignores implicit constraints for now (because they have no implementations). Cycle removal is also still required, since it requires some invariants to get a soft constraint counterpart, which would bloat this already quite (possibly too) large PR.