1 Release published by 1 person

• 2.9.3 MiniZinc 2.9.3

  published May 23, 2025

2 Pull requests opened by 2 people

• Feature model statistics

  #925 opened May 26, 2025

• Fix a string overflow warning

  #930 opened Jun 4, 2025

18 Issues closed by 2 people

• MiniZinc finds variable to be redundant when not used in output

  #923 closed May 23, 2025

• Error when using optional types in record in list of records table formulation

  #900 closed May 23, 2025

• Intermediate solutions flag does not work with flatzinc

  #920 closed May 23, 2025

• The documentation section "FlatZinc builtins added in MiniZinc 2.7.1" is missing

  #914 closed May 23, 2025

• Non optional type of array in tuple not enforced

  #902 closed May 23, 2025

• Concatenation of records sometimes gives strange results, depending on property names

  #892 closed May 23, 2025

• Segfault on ground physician-scheduling instance

  #905 closed May 23, 2025

• feature request: Support max version required

  #872 closed May 23, 2025

• Some error messages use enum values instead of enum symbols

  #912 closed May 23, 2025

• internal error: missing builtin ''<=''

  #898 closed May 23, 2025

• Segmentation fault: Adverse interaction between tuples, if-else statements and array comprehensions

  #901 closed May 23, 2025

• Evaluation error: with functions, deopt and "union" records

  #919 closed May 23, 2025

• Segmentation fault when solve statement is missing

  #907 closed May 23, 2025

• -w/--disable-warnings doesn't seem to work for enum2int

  #893 closed May 23, 2025

• Model inconsistency inhibits -o option

  #908 closed May 23, 2025

• Declare-assign statements give out-of-domain solutions

  #911 closed May 23, 2025

• "type error: non-uniform branches in if-then-else" missing location

  #899 closed May 23, 2025

• Strange behavior when using warm-starting with slices

  #897 closed May 23, 2025

4 Issues opened by 4 people

• Violated constraint when using warmstarting with free-search

  #928 opened May 30, 2025

• Quadratic constraints in CPLEX backend

  #927 opened May 30, 2025

• trace_dbg prints to stderr, regardless of debug_mode

  #926 opened May 28, 2025

• Minizinc does not handle empty arguments well

  #924 opened May 21, 2025