Skip to content

20221101
Compare
Choose a tag to compare
@informarte informarte released this 01 Nov 07:14
· 51 commits to master since this release
20221101
964c71e

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)
Assets 4
Loading