[gecode-users] Segmentation Fault with fzn-gecode
Guido Tack
tack at gecode.org
Sat Oct 25 03:08:15 CEST 2014
Hi,
thanks for the bug report. Unfortunately the flatzinc interpreter wasn't tested enough and has a major bug. It's (hopefully) fixed in the svn now, but I'll have to do some thorough testing next week. For the time being, I've put up a notice to downgrade to 4.2.1 or upgrade to the svn trunk for a working FlatZinc.
Sorry for wasting everybody's time...
Cheers,
Guido
> On 24 Oct 2014, at 10:26 pm, Jean-Noël Monette <jean-noel.monette at it.uu.se> wrote:
>
> Hi,
>
> I get a Segmentation Fault with the fzn-gecode compiled with Gecode 4.3.1 when running, for instance, the file "minizinc-1.6/tests/evaluation/flatzinc/queens4.fzn" from the official MiniZinc distribution. Some other files (I only checked "minizinc-1.6/tests/evaluation/flatzinc/bool_clause.fzn") work fine.
>
> I am running Linux Mint 17 on 64 bits but I know that Pierre Flener has also encountered the bug on his Mac (don't know the exact version) with different FlatZinc models. I did "./configure", "make", and "make install" without any arguments.
>
> Cheers,
>
> Jean-Noël
>
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users
More information about the users
mailing list