Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

MiniZinc stopped with a non-zero exit code, but did not output an error message

See original GitHub issue

solver: minizinc’s gecode, gist, restart and set subsolvers CPMpy: version v0.9.9 commit e79b3afedc934a9437c2ddb3a9f54d7e2d7bd3ee minizinc-python release version 0.7.0 commit {

Some MiniZinc subsolvers crash without an error message, while other solvers can solve the problem.

from cpmpy import *

file ="minimized"  # don't forget to unzip
m.solve(solver='minizinc:gecode') # same with "minizinc:gist", "minizinc:restart" and "minizinc:set"

expected behavior: No crash like other solvers (“minizinc:gurobi”, “ortools” …)

bug found while working on my master thesis.

Issue Analytics

  • State:open
  • Created 10 months ago
  • Comments:8

github_iconTop GitHub Comments

Wout4commented, Nov 30, 2022

The same issue was raised in minizinc-python: Adding the minizinc folder to my PATH solved the issue for me. (I am using windows)

tiascommented, Nov 30, 2022

Is there a way we could catch this exception and output a warning wrt putting the minizinc folder in the PATH? If not, can close, if yes and small effort, could help others in the same situation

Read more comments on GitHub >

github_iconTop Results From Across the Web

MiniZincIDE 2.1.7 ignores non-zero solver exit codes · Issue #54
When a solver signals a problem (by terminating with a non-zero exit code), MiniZinc IDE 2.1.7 ignores the problem instead of reporting it ......
Read more >
Source code for minizinc.error
This Source Code Form is subject to the terms of the Mozilla Public # License ... stopped with a non-zero exit code, but...
Read more >
Minizinc no output - Stack Overflow
What happens if you change the output section to: output[show(Cost) ++ "\n"]; · Seems I have made too many changes to reproduce the...
Read more >
4.3. Interfacing Solvers to Flatzinc - MiniZinc
Errors and warnings must be output to the standard error stream. When an error occurs, the implementation should exit with a non-zero exit...
Read more >
Submitted script failed with a non-zero exit code; see the ...
Microsoft Q&A is the best place to get answers to all your technical questions on Microsoft products and services. Community. Forum.
Read more >

github_iconTop Related Medium Post

No results found

github_iconTop Related StackOverflow Question

No results found

github_iconTroubleshoot Live Code

Lightrun enables developers to add logs, metrics and snapshots to live code - no restarts or redeploys required.
Start Free

github_iconTop Related Reddit Thread

No results found

github_iconTop Related Hackernoon Post

No results found

github_iconTop Related Tweet

No results found

github_iconTop Related Post

No results found

github_iconTop Related Hashnode Post

No results found