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

Last updated: May 15,2024

1. Install "minizinc" package

This tutorial shows how to install minizinc on Ubuntu 21.10 (Impish Indri)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                minizinc
            
                    
    
    Copied

2. Uninstall "minizinc" package

Please follow the instructions below to uninstall minizinc on Ubuntu 21.10 (Impish Indri):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                minizinc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: minizinc
Architecture: amd64
Version: 2.5.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: 7323
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.5.3+dfsg1-1_amd64.deb
Size: 1600496
MD5sum: 36e78e53a859bd105f2220f0ac1f9d2c
SHA1: fcfc0ab3f2c349ea6b4463da9bb000296358bf6b
SHA256: b2043899dda6ebcfca239908e247437e7137cd3f29a703f0f765ab7696abc40a
SHA512: ff95c682aa6329e69a50ae3c26fbbe00af58c19184763b9dce6bd293005b308535180ecae7243f3d5912732fb67ab78fe01364f62baf4e8aef10c4e046a03429
Homepage: http://www.minizinc.org/
Description-en: constraint modelling language and tool chain
MiniZinc is a medium-level constraint modelling language. It is
high-level enough to express most constraint problems easily, but
low-level enough that it can be mapped onto existing solvers easily
and consistently. It is a subset of the higher-level language Zinc.
.
MiniZinc is designed to interface easily to different backend
solvers. It does this by transforming an input MiniZinc model and
data file into a FlatZinc model. FlatZinc models consist of variable
declaration and constraint definitions as well as a definition of the
objective function if the problem is an optimization problem. The
translation from MiniZinc to FlatZinc is specializable to individual
backend solvers, so they can control what form constraints end up
in. In particular, MiniZinc allows the specification of global
constraints by decomposition.
Description-md5: 2e28409cc66f9a9140d34ec21324d233