[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Segmentation fault

From: Daniel Diaz
Subject: Re: Segmentation fault
Date: Tue, 5 Jul 2022 09:20:56 +0200

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).


Le 11 juin 2022 à 10:52, Karel Vervaeke <karel@vervaeke.info> 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 --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.



reply via email to

[Prev in Thread] Current Thread [Next in Thread]