📐 Handle acyclic constraints over variables with large/infinite domains - View it on GitHub