How to Install and Uninstall minizinc Package on Debian 12 (Bookworm)

Last updated: May 17,2024

1. Install "minizinc" package

Please follow the steps below to install minizinc on Debian 12 (Bookworm)

$ sudo apt update $ sudo apt install minizinc

2. Uninstall "minizinc" package

Please follow the instructions below to uninstall minizinc on Debian 12 (Bookworm):

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

3. Information about the minizinc package on Debian 12 (Bookworm)

Package: minizinc
Version: 2.6.4+dfsg1-1
Installed-Size: 9088
Maintainer: Kari Pahula
Architecture: amd64
Depends: libc6 (>= 2.33), libgcc-s1 (>= 3.0), libgecode49, libgecodegist49, libstdc++6 (>= 11), flatzinc (>= 6.2.0-1)
Breaks: minizinc-ide (<< 2.4.0~)
Description: constraint modelling language and tool chain
Description-md5: 2e28409cc66f9a9140d34ec21324d233
Homepage: http://www.minizinc.org/
Section: devel
Priority: optional
Filename: pool/main/m/minizinc/minizinc_2.6.4+dfsg1-1_amd64.deb
Size: 2031904
MD5sum: 7068ffec0fcc2e0109c46db49a8e69d9
SHA256: ccb8fe49c78d6e6785fa02a53e0e3bd87efc37655069d8e1d2240d61b7805ade