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)