@Fatalize Done. This is just a temporary solution though, as the next update of the pl package will overwrite it.
TIO is currently running 7.2.3, which is the latest version from Fedora's repos. Would trying to install the latest version from GitHub be worthwhile? The lastest release is at 7.5.4, but I have no idea how different that is from 7.2.3.
@Dennis I don't think there are very big differences between the 2 for Brachylog's purposes. The only changes requested because of Brachylog are in that clpfd library.
@Fatalize Pulled Brachylog. OK, thanks. I'll try to modify the file search path so I don't have to overwrite files from Fedora's repos. What can I execute to test if I'm using the right clpfd.pl?