How to Install and Uninstall minizinc-ide Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: November 26,2024

1. Install "minizinc-ide" package

Please follow the steps below to install minizinc-ide on Ubuntu 16.04 LTS (Xenial Xerus)

$ sudo apt update $ sudo apt install minizinc-ide

2. Uninstall "minizinc-ide" package

In this section, we are going to explain the necessary steps to uninstall minizinc-ide on Ubuntu 16.04 LTS (Xenial Xerus):

$ sudo apt remove minizinc-ide $ sudo apt autoclean && sudo apt autoremove

3. Information about the minizinc-ide package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: minizinc-ide
Priority: extra
Section: universe/devel
Installed-Size: 777
Maintainer: Ubuntu Developers
Original-Maintainer: Kari Pahula
Architecture: amd64
Version: 2.0.10-1
Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.0), libqt5core5a (>= 5.5.0), libqt5gui5 (>= 5.0.2) | libqt5gui5-gles (>= 5.0.2), libqt5network5 (>= 5.0.2), libqt5webkit5 (>= 5.0.2), libqt5widgets5 (>= 5.2.0), libstdc++6 (>= 5.2), minizinc
Filename: pool/universe/m/minizinc-ide/minizinc-ide_2.0.10-1_amd64.deb
Size: 281702
MD5sum: 09a266499dd52e6af2ee8ab57db0e7fc
SHA1: 51c1bcde5b4d52ca3744640ae14a3b9aecee2476
SHA256: bbe4d0a2647592fc0a3d5f2c7011d6cd03a51536f8de7b86fac13cd890a21734
Description-en: MiniZinc constraint modelling language IDE
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.
Description-md5: 6c1da2389080c6ea2a47ebc0cb4a43cc
Homepage: http://www.minizinc.org/ide/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu