Skip to content

Releases: informarte/yuck

20240207

10 Feb 20:40
Compare
Choose a tag to compare

This is a maintenance release for use with MiniZinc 2.8.3.

20230623

26 Jun 19:25
Compare
Choose a tag to compare

This is a maintenance release for use with MiniZinc 2.7.6.

20221101

01 Nov 07:14
Compare
Choose a tag to compare

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)

20210501

02 May 09:20
Compare
Choose a tag to compare

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.

20200923

27 Sep 15:29
Compare
Choose a tag to compare

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

20200306

06 Mar 15:50
Compare
Choose a tag to compare

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

20191123

23 Nov 20:33
Compare
Choose a tag to compare

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

20190601

03 Jun 19:11
Compare
Choose a tag to compare

This release improves general performance and fixes some minor issues.

20190319

19 Mar 11:38
Compare
Choose a tag to compare

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.

20181031

31 Oct 20:07
Compare
Choose a tag to compare

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

Please see the README for further details.