Yuck Versions Save

This is a maintenance release for use with MiniZinc 2.8.3.

This is a maintenance release for use with MiniZinc 2.7.6.

New features:

• 64-bit integer-set values (see README)
• 64-bit integer values (widened from 32 bits)
• Native implementations of
  • all_different_set, all_different_set_reif
  • all_different_except, all_different_except_reif
  • counting constraints and functions on Boolean and integer-set variables
• Warm starting (see README)
• MiniZinc 2.6.4 support

Bug fixes:

• member mapped to count_eq
• regular compilation expected configuration (start state, accepting states, ...) as inline constants
• Neighbourhood generation failed to handle sat goals depending on only a subset of the search variables

Reduction of technical debt:

• Upgrade from Scala 2 to Scala 3
• Increase of unit test coverage
• Documentation of cost models (see README)

This release improves support for vehicle routing.

Please see the attached paper "Extending Yuck for Vehicle Routing" for the technical details and a comparative, computational study with very promising results.

This release adds an implementation of the circuit constraint, including a 3-opt like neighbourhood.

New features:

• Lexicographic multi-objective optimization (see README)
• Native implementations of
  • lex_less_set, lex_lesseq_set, lex_less_set_reif and lex_lesseq_set_reif
  • table_bool and table_bool_reif

Bug fixes:

• Fixed ordering on integer-set values

New features:

• Reified global constraints (requires at least MiniZinc 2.3)
• bool2costs allows to turn Boolean MiniZinc expressions into soft constraints (see README)

Bug fixes:

• Handle overflows in propagation of linear constraints
• Fixed cumulative to ignore tasks with negative duration or consumption
• Fixed diffn to ignore rectangles with negative width or height
• Fixed disjunctive to ignore tasks with negative duration

This release improves general performance and fixes some minor issues.

This release is about global constraints:

• It improves the performance and scalability of cumulative, disjunctive, and diffn.
• It fixes cumulative and table_int to handle duplicate input variables.

From a user perspective, this release is mainly about installation and deployment of Yuck.

Please see the README for further details.