Issues

• Inconsistency between solvers for optional cumulative

  MiniZinc/libminizinc#1070 · Filter by author WoutPiessens opened on Sep 30, 2026

• Feature request: always positive modulo

  Feature

  MiniZinc/libminizinc#1066 · Filter by author tobiasBora opened on Sep 28, 2026

• The finite element plate model fails in Gecode, Chuffed, Bonmin

  MiniZinc/libminizinc#1062 · Filter by author yurivict opened on Sep 17, 2026
  2

• gecode_presolver not listed/documented

  MiniZinc/libminizinc#1061 · Filter by author tobiasBora opened on Sep 16, 2026
  2

• Table should support heterogenous types

  MiniZinc/libminizinc#1035 · Filter by author zayenz opened on Aug 20, 2026
  4

• Visualising geost contains adjacent shapes with same colour

  Feature

  MiniZinc/libminizinc#1025 · Filter by author paulch42 opened on Jun 13, 2026

• Comments on the MiniZinc grammar

  documentation
  MiniZinc/libminizinc#1019 · Filter by author paulch42 opened on May 4, 2026
  2

• Various Minor Errors in Manual: Overview and Tutorial

  documentation
  MiniZinc/libminizinc#995 · Filter by author paulch42 opened on Feb 20, 2026
  1

• Add coercion of index set for array literals constructed in function calls

  MiniZinc/libminizinc#968 · Filter by author zayenz opened on Nov 6, 2025
  3

• Type error using records

  Bug

  MiniZinc/libminizinc#959 · Filter by author dannem1337 opened on Oct 13, 2025
  2

• Overwriting of output file.

  Bug

  MiniZinc/libminizinc#949 · Filter by author forceoffire opened on Aug 13, 2025
  2

• Unclear specification of backjumps and propagations statistics

  MiniZinc/libminizinc#944 · Filter by author ImkoMarijnissen opened on Jul 29, 2025
  1

• Allow including data files from data files

  Feature

  MiniZinc/libminizinc#934 · Filter by author zayenz opened on Jun 18, 2025

• Violated constraint when using warmstarting with free-search

  MiniZinc/libminizinc#928 · Filter by author aditya95sriram opened on May 30, 2025
  1

• Quadratic constraints in CPLEX backend

  MiniZinc/libminizinc#927 · Filter by author SYury opened on May 30, 2025
  1

• Feature request: Sparse multidimensional array/Enum with tuples

  Feature

  MiniZinc/libminizinc#910 · Filter by author tobiasBora opened on Apr 6, 2025

• Option to not suppress warnings after 20

  Feature

  MiniZinc/libminizinc#883 · Filter by author cyderize opened on Feb 18, 2025
  1

• Unexpected Absent Literal - Works in 2.8.7 (Windows) -> Not on 2.9.0

  MiniZinc/libminizinc#878 · Filter by author lloy0076 opened on Feb 11, 2025
  5

• Undefined C++ behavior on intToUnboxedInt()

  not planned
  Feature

  MiniZinc/libminizinc#873 · Filter by author vitor1001 opened on Jan 27, 2025
  2

• Fake floating numbers using integers when the backend does not support them

  Feature

  MiniZinc/libminizinc#847 · Filter by author tobiasBora opened on Sep 17, 2024

• Allow caching of par functions

  Feature

  MiniZinc/libminizinc#838 · Filter by author matsc-at-sics-se opened on Aug 27, 2024
  2

• Please consider providing Graph Reachability Matrix predicate

  Feature

  MiniZinc/libminizinc#837 · Filter by author LebedevRI opened on Aug 27, 2024
  5

• Feature request: circumvent naming clashes when including models

  Feature

  MiniZinc/libminizinc#831 · Filter by author Kjarar opened on Aug 15, 2024

• Linearized model leads to UNSAT or unfeasible solutions given the bound

  Bug

  MiniZinc/libminizinc#825 · Filter by author raphaelboudreault opened on Jul 22, 2024
  5

• Missing option '-f/--free-search' in flags of command line help

  MiniZinc/libminizinc#824 · Filter by author raphaelboudreault opened on Jul 22, 2024
  1