How to Install and Uninstall minizinc Package on Ubuntu 22.10 (Kinetic Kudu)

Last updated: May 18,2024

1. Install "minizinc" package

This guide let you learn how to install minizinc on Ubuntu 22.10 (Kinetic Kudu)

$ sudo apt update $ sudo apt install minizinc

2. Uninstall "minizinc" package

Here is a brief guide to show you how to uninstall minizinc on Ubuntu 22.10 (Kinetic Kudu):

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

3. Information about the minizinc package on Ubuntu 22.10 (Kinetic Kudu)

Package: minizinc
Architecture: amd64
Version: 2.6.3+dfsg1-1
Priority: extra
Section: universe/devel
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Kari Pahula
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 7695
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libgecode49, libgecodegist49, libstdc++6 (>= 11), flatzinc (>= 6.2.0-1)
Breaks: minizinc-ide (<< 2.4.0~)
Filename: pool/universe/m/minizinc/minizinc_2.6.3+dfsg1-1_amd64.deb
Size: 2138582
MD5sum: e93e9d54fe9e5d1ed636b0ee11eebd30
SHA1: 56f984a3684c1733616511c449ccf2a13c4ca36b
SHA256: 1995dd0598b7ef9aa58d7f9640ac74fd3c7c0c80bfa2873f9ca851a3c6e18a94
SHA512: 70265ac094a1af05dd69bade92b28f62a1c8f637b0537314e784a3101c8ad4639f6b4c8934251f0cf1e4aae9bbe08587636ae5fabddcde9582221081a44e376c
Homepage: http://www.minizinc.org/
Description: constraint modelling language and tool chain
Description-md5: 2e28409cc66f9a9140d34ec21324d233