Great! All well, that spells WEEKEND! Christian -- Christian Schulte, www.ict.kth.se/~cschulte/
-----Original Message----- From: Jaroslav Mlejnek [mailto:[EMAIL PROTECTED] Sent: Saturday, April 05, 2008 7:02 PM To: [EMAIL PROTECTED]; [EMAIL PROTECTED] Subject: Re: [gecode-users] sqrt function Dear Christian, thanks a lot for your time! As you said I found a thread in e-mail archive and both compilation and sqrt function work perfectly. Jarda ----- Original Message ----- From: "Christian Schulte" <[EMAIL PROTECTED]> To: "'Jaroslav Mlejnek'" <[EMAIL PROTECTED]>; <[EMAIL PROTECTED]> Sent: Saturday, April 05, 2008 5:40 PM Subject: RE: [gecode-users] sqrt function > Hi, there is an old message in this thread that explains how to get MSVC > 2008 working for Gecode. Please check. It is easy enough. We do not use > the > IDE and project files. > > Christian > > > -- > Christian Schulte, www.ict.kth.se/~cschulte/ > > > -----Original Message----- > From: Jaroslav Mlejnek [mailto:[EMAIL PROTECTED] > Sent: Saturday, April 05, 2008 4:18 PM > To: [EMAIL PROTECTED]; [EMAIL PROTECTED] > Subject: Re: [gecode-users] sqrt function > > I tried compile Gecode source codes from svn but without any success. I am > using Windows, MSVS 2008 & Cygwin and as you write on your website > http://www.gecode.org/gecode-doc-latest/PageComp.html, there is no way how > to make DLLs? But I am using DLLs and header files now, so is there any > MSVS > > project which can do this? Or exists some more "talkaktive" how to? > > If you have time can you send me patched header files and compiled DLL/lib > libraries? I am very sorry, but this things under Windows is a little bit > "taboos" for me and I can't use my linux because of project specification. > > Jarda > > ----- Original Message ----- > From: "Christian Schulte" <[EMAIL PROTECTED]> > To: "'Jaroslav Mlejnek'" <[EMAIL PROTECTED]>; <[EMAIL PROTECTED]> > Sent: Saturday, April 05, 2008 12:37 AM > Subject: RE: [gecode-users] sqrt function > > >> Jarda, >> >> Hmmm, we have no real plan for the next release yet (honestly, there is >> currently a mismatch between the docs and the code, for once in a >> lifetime >> the docs jumping ahead). >> >> But, as said, it is in the trunk: the trunk is available in svn and - if >> memory serves me right - there is even some blurb on the webpages you to >> get >> it. >> >> If you just want to have a patch to 2.1.1 source I code send you that. >> >> Thanks! >> Christian >> >> -- >> Christian Schulte, www.ict.kth.se/~cschulte/ >> >> -----Original Message----- >> From: Jaroslav Mlejnek [mailto:[EMAIL PROTECTED] >> Sent: Friday, April 04, 2008 12:10 AM >> To: [EMAIL PROTECTED]; [EMAIL PROTECTED] >> Subject: Re: [gecode-users] sqrt function >> >> You are welcome :-) >> >> Can you tell me a date when will be new release of Gecode with this >> function >> >> fixed? Or can I download fixed files from (for example) some svn? Sqrt >> function is very important in computing my objective function. >> >> Thanks a lot, I have a great regard for your work. >> >> Jarda >> >> ----- Original Message ----- >> From: Christian Schulte >> To: 'Jaroslav Mlejnek' ; [EMAIL PROTECTED] >> Sent: Thursday, April 03, 2008 11:15 PM >> Subject: RE: [gecode-users] sqrt function >> >> >> Hi Jaroslav, >> I checked: it is a bug in sqrt (it was not incorrect but too weak)! So >> what >> it does for sqrt(25) is that it believes that it is between 4..5 ;-( >> Unluckily, both the propagator and its test was buggy and cancelled each >> other out;-) That's why this one escaped us. >> The assertion you see is that you use val() on a variable not yet >> assigned >> due to the bug. >> I fixed it in the trunk. >> >> Thank you! >> Christian >> >> -- >> Christian Schulte, www.ict.kth.se/~cschulte/ >> >> From: [EMAIL PROTECTED] [mailto:[EMAIL PROTECTED] On >> Behalf >> Of Jaroslav Mlejnek >> Sent: Thursday, April 03, 2008 7:50 PM >> To: [EMAIL PROTECTED] >> Subject: [gecode-users] sqrt function >> >> Hi! >> >> I am using C++ Gecode Library in my school project and I am very >> satisfied >> with it. But I would like to use an arithmetic function "sqrt" and I >> think >> it doesn't work well. In code: >> >> >> defining CSP (x is class global, y is constructor local): >> >> IntVar x (this, 0, Int::Limits::max), y (this, 0, Int::Limits::max); >> rel(this, y, IRT_EQ, 25); >> rel(this, x, IRT_EQ, Gecode::sqrt(this, y)); >> >> >> printing solution (like Gecode examples): >> cout << x.val() << endl; >> >> >> There is in printing solution method an assert (debug) error instead of >> solution number 5. But when I use "similar" function "sqr", it works fine >> (or as I expect), so the solution is 625. >> >> Is this bug in sqrt function or sqrt function has some special way how to >> use it? I am using Gecode since version 1.1.0, my current version is the >> newest 2.1.1. >> >> Thanks a lot for your answer, >> >> Jaroslav Mlejnek >> Faculty of Mathematics and Physics >> Charles University, Prague >> Czech Republic >> >> >> > > _______________________________________________ Gecode users mailing list [EMAIL PROTECTED] https://www.gecode.org/mailman/listinfo/gecode-users
