Well, Gecode provides it out of the box, the only thing that you have to do is to add the constraints that enforces endtime = startime + duration. That's it. And they are documented as well (check the reference documentation which is always linked from MPG)
The reason why these constraints 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-boun...@gecode.org] On Behalf Of Sebastian Kosch Sent: Friday, September 18, 2015 08:32 PM To: users@gecode.org Subject: [gecode-users] Disjunctive Minizinc constraint Hi, I'd like to use Minizinc's disjunctive constraint in Gecode, but no such thing is provided. The gecode_schedule_unary constraint requires known processing times and isn't an option. Now, there Gecode has a version of the unary constraint that has flexible processing times, but also takes in an array of end times (which it then doesn't propagate on, so I don't really get the point). I've created a binding for it in the registry file and have given my model a dummy array of end time variables, and that appears to work okay. Still, it'd be nice if Gecode supported Minizinc's disjunctive(var[], var[]) out of the box. Is what I'm doing kosher, and could a "proper" version of this be added to the trunk? Many thanks, Sebastian _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
