Search results

MiniZinc ignores overloads for Boolean counting constraints

Status: Open.

#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

Linux packaging: Warning: multiple executables found on the system

Status: Open.

#979 In MiniZinc/libminizinc;

· kalvdans opened on Dec 8, 2025

Allow opt records

Status: Open.

Feature

#972 In MiniZinc/libminizinc;

· zayenz opened on Nov 21, 2025

Blank lines when copying and pasting code examples from documentation

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

Status: Open.

#969 In MiniZinc/libminizinc;

· elias6 opened on Nov 8, 2025