minizinc-ide binary package in Ubuntu Noble riscv64
The MiniZinc IDE is a simple Integrated Development Environment for
writing and running MiniZinc models. It provides a tabbed editor with
MiniZinc syntax highlighting, configuration dialogs for solver
options and model parameters, and an integrated environment for
compiling models and running solvers.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version |
---|