>>
>> The first thing to catch my eye was DDS, but I have not found anything
>> related to it in the docs. Where should I look?
>
> I'm sorry for the confusion, but that entry got into the 2.2.0
> changelog by mistake. DDS will only be available in Gecode 3, and is
> already available in the tr
Filip Konvička wrote:
The complete changelog is available at
http://www.gecode.org/gecode-doc-latest/PageChanges_2_2_0.html
The first thing to catch my eye was DDS, but I have not found anything
related to it in the docs. Where should I look?
I'm sorry for the confusion, but that entry got
> The complete changelog is available at
> http://www.gecode.org/gecode-doc-latest/PageChanges_2_2_0.html
The first thing to catch my eye was DDS, but I have not found anything
related to it in the docs. Where should I look?
Thanks,
Filip
___
Gecode
> However, one thing on my TODO list is investigating this: when I break
> the execution somewhere and inspect the variables (like FloatVarImp or
> IntVarImp), the 'home' pointer inside all variables is set to
> '0xBAADF00D', which is a little scary. You know, everything seems to
> work, but
Ok, I see.
Thank you for looking into the problem,
Zoli
On 2008.08.25., at 21:48, Guido Tack wrote:
> Ujhelyi Zoltan wrote:
>> I tested the new Gecode/J 2.2.0. I am very grateful for your work,
>> but it did not work for me as I expected. I modified the
>> constraints as you showed, but it d
Ujhelyi Zoltan wrote:
> I tested the new Gecode/J 2.2.0. I am very grateful for your work,
> but it did not work for me as I expected. I modified the constraints
> as you showed, but it did not prove the required equality.
I had another look, and unfortunately, we cannot provide stronger
pru
The truly bizarre aspect of all this mess is that whatever we build on the
commandline works totally fine (I also use 2008 SP1).
Only when the MSVC IDE links against the dlls we built on the commandline,
things go wrong. And then, of course, I started to wade through all the macros
that the MSV
Hello,
I tested the new Gecode/J 2.2.0. I am very grateful for your work, but
it did not work for me as I expected. I modified the constraints as
you showed, but it did not prove the required equality.
I copied your code into my sample program to test, but it did not help.
I got the follow
We would like to announce the release of
Gecode 2.2.0
http://www.gecode.org
This release adds many domain consistent propagators for arithmetic
constraints and fixes a number of bugs. Some of these bugs fixed are
potentially serious, in particular as they occur ve
> First, the "fix" I just send does not fix the problem... It does for me but
> not for Jan.
>
> The crashes are totally bizarre, as far as the debugger tells the crash
> occurs right in the heart of copying... That's close to impossible as Gecode
> does not use char there...
>
Well, if someone
First, the "fix" I just send does not fix the problem... It does for me but
not for Jan.
The crashes are totally bizarre, as far as the debugger tells the crash
occurs right in the heart of copying... That's close to impossible as Gecode
does not use char there...
I'll have a closer look tomorrow
Hi Christian,
> The IDE defines the macros UNICODE and _UNICODE: when compiling with these
> macros set, things crash.
strange - I'm using UNICODE all the time without problems.
IMHO it does only one thing: all Windows headers switch to the Unicode
APIs (and TCHAR is defined as wchar_t etc.) Yo
Dear all,
thanks to the help from Jan Kelbel, we found a solution (well, workaround)
for using the precompiled binaries we ship within Microsoft Visual Studio's
Integrated Development Environment (IDE).
The IDE defines the macros UNICODE and _UNICODE: when compiling with these
macros set, things
If you want to write a propagator for this, the non-reified divmod
propagator that is included in the just released 2.2.0 might be a good
starting point.
Christian
--
Christian Schulte, www.ict.kth.se/~cschulte/
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf
Of Mauricio To
Hello,
I am trying to write this reified constraint.
(a mod c = d) <-> b
where a,c,d are IntVars and b is BoolVar.
In the past, you recommend to represent
A = (B - C) mod n as A = (B-C) + n * X.
But, now I am wondering how can I
write a reified propagator for (a mod c = d) <-> b.
Thanks,
Maur
Hi Malcolm,
yes you can add constraints dynamically. Actually you can add anytime! The
only thing you need is to have access to the space you want to add
constraints to.
One way to get started would be to branch only over the subset of the
variables. Then when search stops (it will stop if the br
Christian Schulte wrote:
Hi,
as is visible in the log, the configure script stills finds gcc and
not cl (the Microsoft compiler). Please read the compilation
instructions and make sure that all pathes etc are set up for cl
(this issue has been discussed on this mailing list before).
You
Christian Schulte wrote:
> for 3.0 all these types have been added already ;-)
Only for mangle, i.e., for turning template arguments into strings.
Arg, and therefore ActorSpec and VarSpec, still can't store doubles.
Cheers,
Guido
> -Original Message-
> From: [EMAIL PROTECTED]
Hi,
for 3.0 all these types have been added already ;-)
Cheers
Christian
--
Christian Schulte, www.ict.kth.se/~cschulte/
-Original Message-
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf
Of Filip Konvicka
Sent: Monday, August 25, 2008 9:20 AM
To: [EMAIL PROTECTED]
Subject:
By the way, Gecode 2.2.0 is only a week away, here we will also ship a 64
bit package.
Christian
--
Christian Schulte, www.ict.kth.se/~cschulte/
From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On Behalf
Of Guido Tack
Sent: Saturday, August 23, 2008 11:38 PM
To: Jorge Ivory Castaño
Cc
Hi,
as is visible in the log, the configure script stills finds gcc and not cl
(the Microsoft compiler). Please read the compilation instructions and make
sure that all pathes etc are set up for cl (this issue has been discussed on
this mailing list before).
Cheers
Christian
--
Christ
Hi Guido,
>> Another thing is the reflection spec (Gecode::Reflection::ActorSpec).
>> There seems to be support for signed integer constants and for
>> strings,
>> so I'll try to serialize interval domains and constants using some
>> standard conversions to/from std::string (like boost::lexical_
22 matches
Mail list logo
