Ubuntu
minizinc package

Why not is minizinc command contained in minizinc package?

Asked by TSUYUSATO Kitsune

This package dose not contain minizinc command, so I caught such a error to run mzn-gecode:

    /usr/bin/mzn-gecode: 41: /usr/bin/mzn-gecode: minizinc: not found

There are my question:

  - If I can find minizinc command in an apt package, where?
  - Otherwise, why not is minizinc command contained in minizinc package?

and I have a same question about flatzinc package: this package dose not contain flatzinc command too.

Question information

Language:
English Edit question
Status:
Solved
For:
Ubuntu minizinc Edit question
Assignee:
No assignee Edit question
Solved by:
TSUYUSATO Kitsune
Solved:
Last query:
Last reply:
Revision history for this message
TSUYUSATO Kitsune (makenowjust) said : 		#1

Sorry, I forgot to show my environment. It is Ubuntu 16.04 LTS “Xenial Xerus”, on Docker.

Revision history for this message
Manfred Hampl (m-hampl) said : 		#2

see http://packages.ubuntu.com/search?searchon=contents&keywords=minizinc&mode=filename&suite=xenial&arch=any

There is no command "minizinc", only minizinc-ide from the package minizinc-ide

I suggest that you create a bug report.

Revision history for this message
TSUYUSATO Kitsune (makenowjust) said : 		#3

Thanks. However, I found that "We currently do not provide the minizinc driver program that was part of MiniZinc 1.6 in the source distribution." in https://github.com/MiniZinc/libminizinc/blob/master/INSTALL.txt.