Search results

minizinc -O3 runs into OOM on rcpsp-wet-diverse instance

Status: Open.

#1029 In MiniZinc/libminizinc;

· informarte opened on Jul 8, 2026

minizinc -O3 throws FP exceptions on harmony instances

Status: Open.

#1028 In MiniZinc/libminizinc;

· informarte opened on Jul 8, 2026

minizinc -O3 segfaults on tpp instances

Status: Open.

#1027 In MiniZinc/libminizinc;

· informarte opened on Jul 8, 2026

Bug in linearisation/Highs

Status: Open.

#1026 In MiniZinc/libminizinc;

· pstuckey opened on Jun 25, 2026

Visualising geost contains adjacent shapes with same colour

Status: Open.

#1025 In MiniZinc/libminizinc;

· paulch42 opened on Jun 13, 2026

Comments on the MiniZinc grammar

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

Status: Open.

#1019 In MiniZinc/libminizinc;

· paulch42 opened on May 4, 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

Allow opt records

Status: Open.

Feature

#972 In MiniZinc/libminizinc;

· zayenz opened on Nov 21, 2025

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

Status: Open.

#968 In MiniZinc/libminizinc;

· zayenz opened on Nov 6, 2025

Type error using records

Status: Open.

Bug

#959 In MiniZinc/libminizinc;

· dannem1337 opened on Oct 13, 2025

Overwriting of output file.

Status: Open.

Bug

#949 In MiniZinc/libminizinc;

· forceoffire opened on Aug 13, 2025

Unclear specification of backjumps and propagations statistics

Status: Open.

#944 In MiniZinc/libminizinc;

· ImkoMarijnissen opened on Jul 29, 2025