How to Install and Uninstall minizinc Package on Ubuntu 16.04 LTS (Xenial Xerus)

Last updated: May 17,2024

1. Install "minizinc" package

In this section, we are going to explain the necessary steps to install minizinc on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                minizinc
            
                    
    
    Copied

2. Uninstall "minizinc" package

This guide covers the steps necessary to uninstall minizinc on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                minizinc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the minizinc package on Ubuntu 16.04 LTS (Xenial Xerus)

Package: minizinc
Priority: extra
Section: universe/devel
Installed-Size: 5607
Maintainer: Ubuntu Developers
Original-Maintainer: Kari Pahula
Architecture: amd64
Version: 2.0.11+dfsg1-1
Depends: libc6 (>= 2.14), libgcc1 (>= 1:3.0), libstdc++6 (>= 5.2), flatzinc
Filename: pool/universe/m/minizinc/minizinc_2.0.11+dfsg1-1_amd64.deb
Size: 1077278
MD5sum: 6b97fcba6940d3cfab6423538594f8e8
SHA1: 8e481317a91c886583d338867cce70eab545722f
SHA256: 2e8d1244539b9a3dd51d6b93f8bddb9efde592950bbee153a7c13478fae133c5
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
Enhances: flatzinc
Homepage: http://www.minizinc.org/
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu