How to Install and Uninstall flatzinc Package on Ubuntu 21.10 (Impish Indri)

Last updated: November 26,2024

1. Install "flatzinc" package

Please follow the guidelines below to install flatzinc on Ubuntu 21.10 (Impish Indri)

$ sudo apt update $ sudo apt install flatzinc

2. Uninstall "flatzinc" package

This is a short guide on how to uninstall flatzinc on Ubuntu 21.10 (Impish Indri):

$ sudo apt remove flatzinc $ sudo apt autoclean && sudo apt autoremove

3. Information about the flatzinc package on Ubuntu 21.10 (Impish Indri)

Package: flatzinc
Architecture: amd64
Version: 6.2.0-5
Priority: optional
Section: universe/devel
Source: gecode
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Kari Pahula
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 251
Depends: libc6 (>= 2.14), libgcc-s1 (>= 3.0), libgecode49, libgecodeflatzinc49, libgecodegist49, libstdc++6 (>= 5.2)
Recommends: minizinc
Breaks: minizinc (<< 2.4.1)
Replaces: minizinc (<< 2.4.1)
Filename: pool/universe/g/gecode/flatzinc_6.2.0-5_amd64.deb
Size: 24536
MD5sum: 9d5c5d7304f3f4606668488cd8f14a05
SHA1: 87f9d0fd782e5268960fc6a3b68302e4b904594b
SHA256: 486a6a2212b8a524d0d71fb9f43b392b9235e13c2ddff293bb2ecf5f55e3da76
SHA512: 6f74cbd1a1d109c5e54311c91a17bf34aabe77e9412b5e14e01bd92213006eb2e04c45ff8699f4983eaeefdd17dc54f45caf048348268c23b99b60d6000af73c
Homepage: http://www.gecode.org/flatzinc.html
Description-en: constraint problem modelling language
FlatZinc is a low-level modelling language for constraint
problems. It is designed to be easily interfaceable to constraint
solvers (like Gecode). For more information on FlatZinc, please refer
to the MiniZinc pages of the G12 project .
.
The FlatZinc interpreter that ships with Gecode supports the FlatZinc
language and MiniZinc global constraint definitions of MiniZinc
version 1.6.0.
Description-md5: ca31fe08e8cd4b702df21cd78963002e