Hi Karel, Sorry for the late reply.
The source is too large for the compiler. It seems that you pose a set of #\= constraints between all variables of the list Colors. For this you can use a Prolog loop (writing a predicate receiving the list Colors) or the simply use fd_all_different(Colors). Daniel > Le 11 juin 2022 à 10:52, Karel Vervaeke <[email protected]> a écrit : > > The provided prolog script causes gprolog to segfault for me. > I have a couple of similar scripts (with smaller graphs) which run without > problem, I'm including one of them. > > Usage: gprolog --consult-file solve.pl <http://solve.pl/> --query-goal > 'solve(C,500)' > > I'm running on a mac, gprolog installed with brew. > > I hope this is useful to you. Please let me know if you need any other > information. > > Regards, > Karel > > <solve.pl><solve_working.pl>
