Search results

Internal error, isa: nullptr

bug

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.

#950 In MiniZinc/libminizinc;

· zayenz opened on Aug 29, 2025

Segmentation Fault with --ozn-file with --json-stream

Status: Open.

#948 In MiniZinc/libminizinc;

· dthiery opened on Aug 16, 2025

Overwriting of output file.

Status: Open.

#949 In MiniZinc/libminizinc;

· forceoffire opened on Aug 13, 2025

"undeclared function or predicate bool_search" when using set_search

bug

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.

#946 In MiniZinc/libminizinc;

· dannem1337 opened on Jul 31, 2025

Unclear specification of <code>backjumps</code> and <code>propagations</code> statistics

Status: Open.

#944 In MiniZinc/libminizinc;

· ImkoMarijnissen opened on Jul 29, 2025

[BUG] Chuffed and Geocode returns a solution that is infeasible

bug

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.

#943 In MiniZinc/libminizinc;

· hdavid16 opened on Jul 24, 2025

Error in stdlib_math: mzn_in_root_context used outside of predicate

bug

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.

#942 In MiniZinc/libminizinc;

· zsmooter opened on Jul 22, 2025

"no model file given" error when using <code>--fzn-flags</code> with a single <code>-s</code> argument

bug

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.

#940 In MiniZinc/libminizinc;

· ImkoMarijnissen opened on Jul 11, 2025

Flatzinc model seems incomplete

Status: Open.

#938 In MiniZinc/libminizinc;

· cprudhom opened on Jul 1, 2025

How to use "nosets.mzn"?

Status: Open.

#937 In MiniZinc/libminizinc;

· cprudhom opened on Jul 1, 2025

Chuffed solveTime is suspiciously low

Status: Open.

#935 In MiniZinc/libminizinc;

· zayenz opened on Jun 26, 2025

Allow including data files from data files

enhancement

Status: Open.

#934 In MiniZinc/libminizinc;

· zayenz opened on Jun 18, 2025