[gecode-users] Gecode 3.2.0 released (includes Gecode/FlatZinc)

Guido Tack tack at ps.uni-sb.de
Tue Oct 13 15:27:22 CEST 2009


Thanks, Tias.  FlatZinc requires the scheduling library, but the  
configure script didn't enforce that.  It's fixed in the trunk.

Cheers,
	Guido

Tias Guns wrote:

> Thank you for this new release,
>
> When compiling with:
> ./configure --disable-set-vars --disable-examples --disable-scheduling
>
> I get following error:
> ./libgecodeflatzinc.so: undefined reference to
> `Gecode::cumulatives(Gecode::Space&, Gecode::PrimArgArray<int> const&,
> Gecode::IntVarArgs const&, Gecode::IntVarArgs const&,  
> Gecode::IntVarArgs
> const&, Gecode::IntVarArgs const&, Gecode::PrimArgArray<int> const&,  
> bool,
> Gecode::IntConLevel)'
> collect2: ld returned 1 exit status
> make[1]: *** [tools/flatzinc/fz] Error 1
>
>
> This does not occur when removing --disable-scheduling from the  
> configure
> script.
>
>
> Greetings,
> Tias
>
> On Tue, 06 Oct 2009 17:25:06 +0200, Guido Tack <tack at ps.uni-sb.de>  
> wrote:
>
>> Dear all,
>>
>> we are releasing the next version of Gecode.
>>
>>                  Gecode 3.2.0
>>           http://www.gecode.org
>>
>> This release has some important bug fixes (in particular for
>> global cardinality aka count), the documentation has been
>> improved (worked around some issues with generation by doxygen),
>> integrates the FlatZinc interpreter into the Gecode source tree,
>> provides propagators for disjunctive scheduling (experimental),
>> and lots of small changes and fixes. For more consistent names,
>> branchings are branchers now and branching descriptions are
>> choices (this you might have to adapt to).
>>
>> On our web site, you find source packages, as well as binary packages
>> for Windows and Mac OS.
>>
>> Cheers,
>> 	Guido
>>
>>
>> _______________________________________________
>> Gecode users mailing list
>> users at gecode.org
>> https://www.gecode.org/mailman/listinfo/gecode-users
>
>
> Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm
>
> _______________________________________________
> Gecode users mailing list
> users at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users





More information about the gecode-users mailing list