Files | Admin

Notes:

Release Name: Gecode/R 0.8.3

Notes:
This release adds regular expression constraints, the last channel
constraint and various minor convenience improvements. It also fixes a
rather serious bug that occurs when using the latest patchlevels of Ruby
1.8.6. 




Changes: * [#20888] Fixed a GC bug causing problems with Ruby 1.8.6 at patchlevels around 230. * Boolean constraints can no longer be specified using the form "bool.must == true". Only the "bool.must_be.true" form can now be used. * Added constants in Model that contain the limits of the variables' domains. * The domain when construction arrays and matrices of int variables now default to the same as when creating single variables (the largest possible domain). * Model#branch_on now accepts single variables as well as enums. * Added channel constraints between single set variables and enumerations of boolean variables. * Added integer and boolean regular expression constraints. Thanks goes to Eivind Eklund for providing the idea for the syntax used to specify the regular expressions.