Re: [gecode-users] GECODE: Crosswords with two constraints, set letters and black cells

directions. Not that hard… Cheers Christian -- Christian Schulte, https://chschulte.github.io/ Professor of Computer Science Software and Computer Systems School of Electrical Engineering and Computer Science KTH Royal Institute of Technology, Sweden From: Andrea Sacconi Sent: Sunday, September

Re: [gecode-users] GECODE: Crosswords with two constraints, set letters and black cells

I wouldn’t know. Cheers Christian -- Christian Schulte, https://chschulte.github.io/ Professor of Computer Science Software and Computer Systems School of Electrical Engineering and Computer Science KTH Royal Institute of Technology, Sweden From: Andrea Sacconi Sent: Sunday, September 23, 2018

Re: [gecode-users] GECODE: Crosswords with two constraints, set letters and black cells

such as in rel(*this, ml(10,5) == ‘f’); and so on. Cheers Christian -- Christian Schulte, https://chschulte.github.io/ Professor of Computer Science Software and Computer Systems School of Electrical Engineering and Computer Science KTH Royal Institute of Technology, Sweden From: users-boun

Re: [gecode-users] Float overflow exceptions with 'linear' in 6.0.1

Hi Filip, Actually, it is the other way around: now the float propagators behave as the integer propagators always did. Well, the risk was there before but the system would not tell that. Best Christian -- Christian Schulte, https://chschulte.github.io/ Professor of Computer Science Software

Re: [gecode-users] Float overflow exceptions with 'linear' in 6.0.1

. Cheers Christian -- Christian Schulte, https://chschulte.github.io/ Professor of Computer Science Software and Computer Systems School of Electrical Engineering and Computer Science KTH Royal Institute of Technology, Sweden From: users-boun...@gecode.org On Behalf Of Konvicka Filip Sent: 24

Re: [gecode-users] Installation problem: undefined rerence to Gist

Hi, Did you also install the qt header files? Or do you have more than one Qt installation around? Cheers Christian -- Christian Schulte, https://chschulte.github.io/ Professor of Computer Science, KTH, cschu...@kth.se<mailto:cschu...@kth.se> Expert Researcher, RISE SICS, christia

Re: [gecode-users] New Constraints and theirs Propagatores

Check MPG, all described there. Christian -- Christian Schulte, https://chschulte.github.io/ Professor of Computer Science, KTH, cschu...@kth.se<mailto:cschu...@kth.se> Expert Researcher, RISE SICS, christian.schu...@ri.se<mailto:christian.schu...@ri.se> From: users-boun..

Re: [gecode-users] gecode 6 exception

Hi, I fixed the problem and prepare a new release, you can find it here: https://github.com/Gecode/gecode/releases/tag/release-6.0.1 Thanks and cheers Christian -- Christian Schulte, https://chschulte.github.io/ Professor of Computer Science, KTH, cschu...@kth.se<mailto:cs

Re: [gecode-users] gecode 6 exception

to overflow which was silently ignored). Cheers Christian -- Christian Schulte, https://chschulte.github.io/ Professor of Computer Science, KTH, cschu...@kth.se<mailto:cschu...@kth.se> Expert Researcher, RISE SICS, christian.schu...@ri.se<mailto:christian.schu...@ri.se> From: users-boun..

Re: [gecode-users] gecode 6 exception

. Cheers Christian -- Christian Schulte, https://chschulte.github.io/ Professor of Computer Science, KTH, cschu...@kth.se<mailto:cschu...@kth.se> Expert Researcher, RISE SICS, christian.schu...@ri.se<mailto:christian.schu...@ri.se> From: users-boun...@gecode.org <users-boun...@gecode

Re: [gecode-users] Can a propagator hide domain wipe-out of a variable?

that is inspect it. Cheers Christian -- Christian Schulte, https://chschulte.github.io/ Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, RISE SICS, christian.schu...@ri.se -Original Message- From: users-boun...@gecode.org <users-boun...@gecode.org> On Behalf Of Seb

Re: [gecode-users] Distinguishing advisors by pointer or reference?

any longer as the views are stored inside the advisors. Hope that helps. Cheers Christian -- Christian Schulte, https://chschulte.github.io/ Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, RISE SICS, christian.schu...@ri.se -Original Message- From: users-boun

Re: [gecode-users] Variable implementations are copied automatically during search, right?

Yes, that's right. No caveats. It is as you say: you only have to update yourself if you want to use them for your own purposes, the rest the propagator, brancher, etc in question take care of. Best Christian -- Christian Schulte, https://chschulte.github.io/ Professor of Computer Science, KTH

Re: [gecode-users] BAB and pruning

specific to Gecode not constraint programming in general. So you might want to find a different forum. Best Christian -- Christian Schulte, https://chschulte.github.io/ Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, RISE SICS, christian.schu...@ri.se -Original

Re: [gecode-users] BAB implementation

to really try a little bit of how models with constraint programming look like. If you want to get an idea on a more high-level you could try a modeling language such as MiniZinc: http://www.minizinc.org/ Cheers Christian -- Christian Schulte, https://chschulte.github.io/ Professor

Re: [gecode-users] BAB implementation

Hi, I think you will have to do some reading. Smells like homework to me. Christian -- Christian Schulte, https://chschulte.github.io/ Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, RISE SICS, christian.schu...@ri.se -Original Message- From: users-boun

Re: [gecode-users] Extra level of variables needed for count?

Yep, that looks good. Gecode will choose the most efficient representation anyway at runtime. Cheers Christian -- Christian Schulte, https://chschulte.github.io/ Professor of Computer Science, KTH, cschu...@kth.se<mailto:cschu...@kth.se> Expert Researcher, RISE SICS, christian.schu...

Re: [gecode-users] Extra level of variables needed for count?

No, the point is to not use variables, you can use sets with a single element instead. Christian -- Christian Schulte, https://chschulte.github.io/ Professor of Computer Science, KTH, cschu...@kth.se<mailto:cschu...@kth.se> Expert Researcher, RISE SICS, christian.schu...

Re: [gecode-users] Extra level of variables needed for count?

Hi, I think you stopped reading a little too early. MPG says that you can also use integer sets instead of variables. Then, in your example you do not need x and c, just pass b and v directly! IntVarArray is automatically casted to IntVarArgs. Cheers Christian -- Christian Schulte, https

Re: [gecode-users] BAB Search Stats

Hi, I think you need to be more specific here. “Issue” as a description is not enough. Best Christian -- Christian Schulte, https://chschulte.github.io/ Professor of Computer Science, KTH, cschu...@kth.se<mailto:cschu...@kth.se> Expert Researcher, RISE SICS, christian.schu...

Re: [gecode-users] Element constraint

Hi, You need to provide some more detail and an example here. Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se<mailto:cschu...@kth.se> Expert Researcher, RISE SICS, christian.schu...@ri.se<mailto:christian.schu...@ri.se>

Re: [gecode-users] Domain constraint

<https://aka.ms/ghei36> From: Christian Schulte <cschu...@kth.se<mailto:cschu...@kth.se>> Sent: Friday, September 15, 2017 12:34:10 PM To: 'Hamza Bouchaour'; users@gecode.org<mailto:users@gecode.org> Subject: RE: [gecode-users] Domain constr

Re: [gecode-users] Domain constraint

I do not know what inconsistent values mean. Values removed by propagation are of course not considered during branching anyway. If you want to skip certain variables on top of that read about branch filter functions in MPG. C -- Christian Schulte, www.gecode.org/~schulte Professor

Re: [gecode-users] Arbitrary big numbers?

’ infamous quote “640K ought to be enough for anyone”… Cheers Christian -- Christian Schulte, <http://www.gecode.org/~schulte> www.gecode.org/~schulte Professor of Computer Science, KTH, <mailto:cschu...@kth.se> cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se

Re: [gecode-users] Arbitrary big numbers?

Gecode is but one of the solvers to which Eclipse has an interface. Christian -- Christian Schulte, <http://www.gecode.org/~schulte> www.gecode.org/~schulte Professor of Computer Science, KTH, <mailto:cschu...@kth.se> cschu...@kth.se Expert Researcher, SICS, cschu...@sics

Re: [gecode-users] Arbitrary big numbers?

Hi, unfortunately there is no support for this. We know that this is high on the wish list of many but… I think somebody has tried, if I recall correctly, though. Guido, do you have any details. Cheers Christian -- Christian Schulte, www.gecode.org/~schulte <http://www.gecode.

Re: [gecode-users] bin packing variant

Look, we can’t debug your programs. However, the mistake is so basic that I saw it in one second: you do not initialize accum properly as you do not give bounds for the variables. Please read MPG carefully. Christian -- Christian Schulte, www.gecode.org/~schulte Professor

Re: [gecode-users] Adding constraints to model in : is there any example code?

and you do not even have to modify the engine, changing the constrain() function is enough, right? Don’t look at the parallel stuff that’s awful ;-) Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, <mailto:cschu...@kth.se&

Re: [gecode-users] Adding constraints to model in : is there any example code?

Hi Dirk, Yes, I see your motivation but the Gecode engines cannot do that. Have you ever had a look at the part in MPG about search? Building a BAB engine with this additional feature might be not that hard… Good luck Christian -- Christian Schulte, www.gecode.org/~schulte

Re: [gecode-users] "Mapping" constraint

Hi, Unfortunately not, you will have to resort to reification to model that. Best Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, RISE SICS, christian.schu...@ri.se From: users-boun...@gecode.org

Re: [gecode-users] Adding constraints to model in : is there any example code?

the additional constraints. Have you thought about using BAB? There, each time you find a solution you can add new constraints based on that solution _without_ restarting search. Sounds more like it to me. Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor

Re: [gecode-users] Question on IntVar-equalities with and without MiniModel

Hi Conrad, I just added this behavior in the trunk! Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, <mailto:cschu...@kth.se> cschu...@kth.se Expert Researcher, RISE SICS, <mailto:christian.schu...@ri.se> christian.schu...@ri

Re: [gecode-users] Question on IntVar-equalities with and without MiniModel

the reified variants domain consistent would require some (not much) work. Would that be needed as well? Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, <mailto:cschu...@kth.se> cschu...@kth.se Expert Researcher, RIS

Re: [gecode-users] Question on rewriting

to create. Then, the newly created propagator actually inherits some information from the propagator being rewritten, such as id, failure count, etc. You would have to make sure that this happens as well. Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer

Re: [gecode-users] Question on IntVar-equalities with and without MiniModel

the default IPL ILP_DEF differently: normally it uses IPL_BND but for special cases it uses IPL_DOM. The second might be easier to pull off… Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, <mailto:cschu...@kth.se> cschu...@kth.se

Re: [gecode-users] Time limit

Good luck! Me, expert in anything. You must be kidding ;-) Christian -- Christian Schulte, <http://www.gecode.org/~schulte> www.gecode.org/~schulte Professor of Computer Science, KTH, <mailto:cschu...@kth.se> cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se Fro

Re: [gecode-users] Time limit

Hi, this is not a Gecode question, please ask the question at the appropriate MiniZinc forum – for your own sake! Best Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, RISE ICT/SICS, cschu...@sics.se

Re: [gecode-users] constraint “each value in array appears at least k times”

Please read in MPG about the global cardinality constraint (which in Gecode is also called count). It is exactly what you are looking for. Best Christian -- Christian Schulte, www.gecode.org/~schulte <http://www.gecode.org/~schulte> Professor of Computer Science, KTH, cschu...@

Re: [gecode-users] Number of solutions

structure (quite important!). Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -Original Message- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Sebastian

Re: [gecode-users] Number of solutions

What? That is a real luxury complaint... You know how much work it is to write a coherent 500 page document? That's not that easy to do as html. And searching in PDF is not that hard... Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se

Re: [gecode-users] tracing without programming?

Yes, for these examples I added the tracing as an example how to do it. Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -Original Message- From: Johannes Waldmann

Re: [gecode-users] tracing without programming?

. It will tell you that you can use -mode gist as a commandline option. Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -Original Message- From: users-boun...@gecode.org [mailto:users-boun

Re: [gecode-users] Re-execution of program

Yes. Just read a little in MPG… Christian -- Christian Schulte, www.gecode.org/~schulte <http://www.gecode.org/~schulte> Professor of Computer Science, KTH, cschu...@kth.se <mailto:cschu...@kth.se> Expert Researcher, SICS, cschu...@sics.se From: users-boun...@gecode.org [

Re: [gecode-users] Gecode 5.0.0 released

Hi Carlo, Thanks. Which platform are we talking? Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, <mailto:cschu...@kth.se> cschu...@kth.se Expert Researcher, SICS, <mailto:cschu...@sics.se> cschu...@sics.se From: C

[gecode-users] Gecode 5.0.0 released

allocators; changed the notion of "integer consistency level" to the more expressive concept "integer propagation level". Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@

Re: [gecode-users] MAX-SAT problem

No, Gecode does not support Max SAT directly. Best Christian -- Christian Schulte, <http://www.gecode.org/~schulte> www.gecode.org/~schulte Professor of Computer Science, KTH, <mailto:cschu...@kth.se> cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se From

Re: [gecode-users] Cost optimization problem

Hi, That's strange... Did you try to play with the step value as explained in MPG 7.3? Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -Original Message- From: users-boun

Re: [gecode-users] Installation

. -- Christian Schulte, <http://www.gecode.org/~schulte> www.gecode.org/~schulte Professor of Computer Science, KTH, <mailto:cschu...@kth.se> cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se From: Fabien Brosseau [mailto:brosseaufab...@gmail.com] Sent: Thursday,

Re: [gecode-users] Installation

egist -lgecodesearch -lgecodeminimodel -lgecodeset -lgecodefloat -lgecodeint -lgecodekernel -lgecodesupport I have also set LD_LIBRAY_PATH but no success ... 2016-09-04 11:22 GMT+02:00 Christian Schulte <cschu...@k

Re: [gecode-users] Installation

Hi, The windows errors seem to indicate that you installed a package for x86 but use a x64 compiler. On Linux: are you sure that you have installed all necessary Qt packages? Did you read the information on how to install Gecode in MPG? Best Christian -- Christian Schulte

Re: [gecode-users] Freeze with MSVC 2015 optimized build

for platforms where we are sure it works (that would be just MSVC x86 no SSE, so quite boring)? Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -Original Message- From: Konvicka Filip

Re: [gecode-users] fzn-gecode -mode gist and variable names

Guido, how about adding a search annotation “free”? Would that work? Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, <mailto:cschu...@kth.se> cschu...@kth.se Expert Researcher, SICS, <mailto:cschu...@sics.se> cschu...@sics

Re: [gecode-users] MemoryStop - is there any replacement

Hi, No, there is not replacement for that. I am not familiar with gecode-python but deleting it should be safe. Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -Original Message

Re: [gecode-users] Strange Error Concerning Memory

). At least you should see more with that! Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf

Re: [gecode-users] scheduling problem, tow branchers, order of branching

but should work: for (int i=0; i≤ maxtasks; i++) { branch(*this, QuantityTask[i], INT_VAL_MIN()); assign(*this, WorkTimeTask[i], SET_ASSIGN_MIN_INC()); } This creates a whole bunch of branchers run in order of creation, please read Section 8.1. Cheers Christian -- Christian

Re: [gecode-users] Update variable domain during search

Hi, Just don't. From your description I have really no idea what you try to do. Do you? Christian -- Christian Schulte, <http://www.gecode.org/~schulte> www.gecode.org/~schulte Professor of Computer Science, KTH, <mailto:cschu...@kth.se> cschu...@kth.se Expert Rese

Re: [gecode-users] Advices for creating new variable type?

Hi, No special way: you will just have to implement something in terms of your NoteVar. Frankly, I do not really know what you are after... Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu

Re: [gecode-users] Advices for creating new variable type?

constraint post functions but no dedicated propagators as all can be expressed by constraints over integer variables. Much easier. I'd try to give the latter a shot first. Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert

Re: [gecode-users] Scheduling A Propagator After Backtrack

! Then you need to check the flag when an advisor is run. That should work. Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, <mailto:cschu...@kth.se> cschu...@kth.se Expert Researcher, SICS, <mailto:cschu...@sics.se> csch

Re: [gecode-users] Scheduling A Propagator After Backtrack

thinking about maintaining less information? Hope that helps. Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se From: users-boun...@gecode.org [mailto:users-boun...@gecode.org

Re: [gecode-users] Smart pointer in propagator?

Hi Conrad, I actually did that already yesterday when I added the destructor for NGL. Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -Original Message- From: Drescher, Conrad

Re: [gecode-users] Smart pointer in propagator?

a destructor. I'd rather ignore it but if you do like warnings at least add an assert(false) to the destructor! Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -Original Message

Re: [gecode-users] Smart pointer in propagator?

-- Christian Schulte, http://www.gecode.org/~schulte Professor of Computer Science, KTH, mailto:cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Drescher, Conrad Sent: Friday, April 8, 2016 14:24 To: users

Re: [gecode-users] Freeze with MSVC 2015 optimized build

Hi Filip, Thanks for all the info and checking. I'll have a look a little later. Best Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -Original Message- From: users-boun...@gecode.org

Re: [gecode-users] Freeze with MSVC 2015 optimized build

his behavior? > > Cheers > Christian > > -- > Christian Schulte, www.gecode.org/~schulte Professor of Computer > Science, KTH, cschu...@kth.se Expert Researcher, SICS, > cschu...@sics.se > > -Original Message- > From: users-boun...@gecode.org [mailto:users-boun.

Re: [gecode-users] B or DFS engine ?

Hi, Would use a BAB engine and add the external check by synchronized execution (when some variables have been assigned), please check Section 4.5 for the details. Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert

Re: [gecode-users] Getting just assigned variable from ViewArray in a propagator

would be to use a bitset or something like that. 2. You can track which views get assigned by using advisors. Please check MPG for the details. Best Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS

Re: [gecode-users] propagation Algorithm

No, it has nothing to do with AC3. Check the following papers: http://www.gecode.org/~schulte/paper.html?id=SchulteStuckey:TOPLAS:2008 and http://www.gecode.org/~schulte/paper.html?id=LagerkvistSchulte:CP:2007 They describe the algorithm used. Best Christian -- Christian Schulte

Re: [gecode-users] users Digest, Vol 124, Issue 6

< mycpSolver.objectives.size(), i++) rel(*this, bo[i], IRT_EQ, mycpSolver.objectives[i].val()); rel(*this, objectives, IRT_LE, bo); Sorry for not thinking about this in the first place. I’ll add a tip and a warning in MPG. Cheers Christian -- Christian Schu

Re: [gecode-users] users Digest, Vol 124, Issue 6

Hi, I have a suspicion here. The easiest might be to send me your implementation of the constrain() member function so that I can have a look. Best Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, <mailto:cschu...@kth.se> cschu...@

Re: [gecode-users] users Digest, Vol 124, Issue 6

smaller then the so far best cost b.cost. That's it. More on the constrain() function you can find in Chapter 2 of MPG. Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -Original

Re: [gecode-users] Propagator for Set Constraint

Sorry, but your question is really too unspecific for an answer. Did you read the part in MPG on set propagators? Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -Original Message

Re: [gecode-users] Usage of layered graphs, without regard for propagation, and audit failure

is highly optimized and has pretty tricky invariants to maintain. The level of documentation is barely enough for me ;-) Sorry that I do not have to offer something more helpful than this. All the best Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu

Re: [gecode-users] Order of branching

Hi, You might have to implement a brancher on your own, check part B in MPG. There is an example both in MPG as well as with Gecode "Knights" that uses a brancher similarly to the one you sketch. Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Sc

[gecode-users] Gecode had birthday on Sunday!

! Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se ___ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users

Re: [gecode-users] Path constraint

-- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -Original Message- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf Of Philippe Sent: Saturday, November 21, 2015 12:01 PM

Re: [gecode-users] Difference between minus_r and nq

Please read a little bit more careful and follow the examples in MPG: gq enforces that the values of a variable are at least as large as some given integer. Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, <mailto:cschu...@kth.se>

Re: [gecode-users] Difference between minus_r and nq

-- Christian Schulte, <http://www.gecode.org/~schulte> www.gecode.org/~schulte Professor of Computer Science, KTH, <mailto:cschu...@kth.se> cschu...@kth.se Expert Researcher, SICS, <mailto:cschu...@sics.se> cschu...@sics.se From: users-boun...@gecode.org [mailto:users-boun...@gec

Re: [gecode-users] Advisor on a ViewArray and index of assigned variable

know which array we talk about? Cheers Christian -- Christian Schulte, <http://www.gecode.org/~schulte> www.gecode.org/~schulte Professor of Computer Science, KTH, <mailto:cschu...@kth.se> cschu...@kth.se Expert Researcher, SICS, <mailto:cschu...@sics.se> cschu..

Re: [gecode-users] Advisor on a ViewArray and index of assigned variable

stored in the advisor, there is no way around it. Cheers Christian -- Christian Schulte, <http://www.gecode.org/~schulte> www.gecode.org/~schulte Professor of Computer Science, KTH, <mailto:cschu...@kth.se> cschu...@kth.se Expert Researcher, SICS, <mailto:cschu...

Re: [gecode-users] AllDiff_except_0

Hi, No, unfortunately not. If you need it really badly, I could put it on Gecode's wishlist. For the time being, you would have to resort to using reification. Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se

Re: [gecode-users] Calling Space::status() within a Brancher::commit() call

and variables simultaneously. Hope that helps Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf

Re: [gecode-users] Subscription of variables during copying of propagators

Hi Zoe, Please consult Guido’s dissertation: <http://www.csse.monash.edu/~guidot/publication-details.php?key=tack:2009:1:constraint> http://www.csse.monash.edu/~guidot/publication-details.php?key=tack:2009:1:constraint Cheers Christian -- Christian Schulte,

Re: [gecode-users] svn download of release

Hi Kish, Nope, none of the fixes is included. We do not change releases. The next release might still be some time off as it will be a bigger one with new cool stuff and required changes. Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu

Re: [gecode-users] Disjunctive Minizinc constraint

are not posted by the unary constraint is to leave more flexibility to the user. Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -Original Message- From: users-boun...@gecode.org [mailto:users

Re: [gecode-users] Freeze with MSVC 2015 optimized build

Gist). I think we will have to fix the Gecode build to use x87 for the float stuff. Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -Original Message- From: users-boun

Re: [gecode-users] Multiple specification files

will be re-generated (you can have a look and see that your stuff will show up in these files). Cheers Christian -- Christian Schulte, <http://www.gecode.org/~schulte> www.gecode.org/~schulte Professor of Computer Science, KTH, <mailto:cschu...@kth.se> cschu...@kt

Re: [gecode-users] SUBSCRIBE modification event required?

files. There I saw that the script even has a syntax error not caught by perl ;-) And yes, of course this should be documented and the error should be caught. I will do it for the trunk soonish. Today seems to be .vis day on this mailing list! Cheers Christian -- Christian Schulte, www.gecode.org

Re: [gecode-users] Freeze with MSVC 2015 optimized build

It is most likely that I haven't run the float tests with MSVC 2015 yet... Will do later. Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -Original Message- From: users-boun

Re: [gecode-users] Freeze with MSVC 2015 optimized build

Hi Filip, If you tell me which script you tried, I can try here (even though Gist works for me with MSVC 2015 and Qt-5.5.0, using the trunk). Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu

Re: [gecode-users] Freeze with MSVC 2015 optimized build

Hi Filip, This seems to be an issue with Gecode and not the compiler... Guido promised me that he will look into floats. Real soon, he said ;-) Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu

Re: [gecode-users] Fwd: Re: propagation consistency of count (single value) constraint

Hi Kish, I just fixed the bug in the trunk: it was a bug in posting the constraint (and only for ICL_BND). Unfortunately, the tests had not been adapted to the fact that both ICL_BND and ICL_DOM is supported. That's also fixed. Cheers Christian -- Christian Schulte, www.gecode.org/~schulte

Re: [gecode-users] propagation consistency of count (single value) constraint

Yep, that was a bug introduced by a bugfix some time ago! Thanks! Fixed in the trunk. Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -Original Message- From: users-boun

Re: [gecode-users] propagation consistency of count (single value) constraint

Hmm, I had a quick look at the code and I think it should rewrite to the int/int case. I am travelling right now, so I will look more carefully when I am back in a week or so. Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se

Re: [gecode-users] circuit constraint: differences between ICL_DOM and ICL_VAL

Nope, that's alright. The difference is how the distinct part of circuit is enforced. Getting a difference in propagation is not that straightforward if only using assignments (try to impose Hall sets and you will see the difference). Cheers Christian -- Christian Schulte, www.gecode.org

Re: [gecode-users] ~Event nothrow issue

Hi Filip, Thanks for the info. I forgot to check in the fix, now it is in the trunk. Best Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -Original Message- From: users-boun

Re: [gecode-users] ~Event nothrow issue

Hi Filip, Thanks! I also recently installed MSVC 2015 and hence have already fixed the issue in the trunk. Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -Original Message

Re: [gecode-users] multi-dimensional binpacking gives fatal signal 11

Yes, it is. The problem is if the projection on one dimension had only zero entries. Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -Original Message- From: users-boun

Re: [gecode-users] multi-dimensional binpacking gives fatal signal 11

Hi Kish, Thanks! The bug is due to the fact that all items have size zero. Fixed in the trunk. Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -Original Message- From: users

Re: [gecode-users] bin_packing with 0 item sizes

Hi Kish, thanks. Fixed in the trunk. Cheers Christian -- Christian Schulte, www.gecode.org/~schulte Professor of Computer Science, KTH, cschu...@kth.se Expert Researcher, SICS, cschu...@sics.se -Original Message- From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On Behalf

  1   2   3   4   5   6   7   >