Search results

Missing set of checking in tuple(/record) concatenation

Status: Open.

Bug

#1009 In MiniZinc/libminizinc;

· Dekker1 opened on Apr 7, 2026

Array comprehension assignment mistakenly warns about implicit coercion of enums

Status: Open.

Bug

#1008 In MiniZinc/libminizinc;

· sbronson opened on Apr 5, 2026

basic_string: construction from null is not valid crash with -O2 and --input-from-stdin

Status: Open.

#1007 In MiniZinc/libminizinc;

· compumike opened on Apr 5, 2026

MiniZinc ignores overloads for Boolean counting constraints

Status: Open.

Bug

#1005 In MiniZinc/libminizinc;

· informarte opened on Mar 26, 2026

warm_start with HiGHs.

Status: Open.

Feature

#1003 In MiniZinc/libminizinc;

· kaydensigh opened on Mar 21, 2026

Minor Typo in Docs

documentationIssue is related to documentation/tutorialIssue is related to documentation/tutorial

Status: Open.

#1000 In MiniZinc/libminizinc;

· muck-stump opened on Mar 8, 2026

SCIP 10.0 and newer not found with MiniZinc IDE 2.9.5

Status: Open.

#999 In MiniZinc/libminizinc;

· snicolai-blog opened on Mar 5, 2026

Type mismatch with enums in records

resolvedIssue is resolved and the feature or fix will be part of next releaseIssue is resolved and the feature or fix will be part of next release

Status: Open.

Bug

#998 In MiniZinc/libminizinc;

· dannem1337 opened on Mar 3, 2026

Difficulty compiling CP-SAT with latest OR-Tools release.

Status: Open.

Bug

#997 In MiniZinc/libminizinc;

· forceoffire opened on Feb 26, 2026

Various Minor Errors in Manual: Overview and Tutorial

documentationIssue is related to documentation/tutorialIssue is related to documentation/tutorial

Status: Open.

#995 In MiniZinc/libminizinc;

· paulch42 opened on Feb 20, 2026

Minizinc with CP-SAT does not print best solution after time limit

Status: Open.

#994 In MiniZinc/libminizinc;

· rbassett3 opened on Feb 19, 2026

MiniZinc 2.9.5 produces FlatZinc with type errors

resolvedIssue is resolved and the feature or fix will be part of next releaseIssue is resolved and the feature or fix will be part of next release

Status: Open.

Bug

#991 In MiniZinc/libminizinc;

· informarte opened on Jan 31, 2026