How to Install and Uninstall minizinc Package on Linux Mint 20.3 (Una)

Last updated: May 15,2024

1. Install "minizinc" package

Please follow the steps below to install minizinc on Linux Mint 20.3 (Una)

$ sudo apt update $ sudo apt install minizinc

2. Uninstall "minizinc" package

In this section, we are going to explain the necessary steps to uninstall minizinc on Linux Mint 20.3 (Una):

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

3. Information about the minizinc package on Linux Mint 20.3 (Una)

Package: minizinc
Architecture: amd64
Version: 2.4.2-1build1
Priority: extra
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Kari Pahula
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 6886
Depends: libc6 (>= 2.29), libgcc-s1 (>= 3.0), libgecode49, libgecodegist49, libstdc++6 (>= 9), flatzinc (>= 6.2.0-1)
Breaks: minizinc-ide (<< 2.4.0~)
Filename: pool/universe/m/minizinc/minizinc_2.4.2-1build1_amd64.deb
Size: 1481580
MD5sum: 94c6272d2048d6461478f53df9e15bec
SHA1: cba5f1c6e08c4f35bf0e3b72bb8ecfff4e19eec1
SHA256: 5a0dbe5af67ad253a3596ba54e856cdba846a4315d33b05ebfe178ef994a9417
Homepage: http://www.minizinc.org/
Description: constraint modelling language and tool chain
Description-md5: 2e28409cc66f9a9140d34ec21324d233