How to Install and Uninstall minizinc Package on Ubuntu 18.04 LTS (Bionic Beaver)

Last updated: May 17,2024

1. Install "minizinc" package

Please follow the instructions below to install minizinc on Ubuntu 18.04 LTS (Bionic Beaver)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                minizinc
            
                    
    
    Copied

2. Uninstall "minizinc" package

This guide let you learn how to uninstall minizinc on Ubuntu 18.04 LTS (Bionic Beaver):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                minizinc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the minizinc package on Ubuntu 18.04 LTS (Bionic Beaver)

Package: minizinc
Architecture: amd64
Version: 2.1.7+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: 10470
Depends: libc6 (>= 2.23), libgcc1 (>= 1:3.0), libstdc++6 (>= 5.2), flatzinc (>= 5.1.0-1)
Filename: pool/universe/m/minizinc/minizinc_2.1.7+dfsg1-1_amd64.deb
Size: 1767276
MD5sum: 4cdd454f536cc8d848db84452e1a968b
SHA1: 6f033031c88f8b408af91966aa9a6adabd3e0874
SHA256: fbf8ab2c9c1fe2d7a5d51f02aef6f62f2adbb6342f69e7f52283b9c3ed582ae8
Homepage: http://www.minizinc.org/
Description: constraint modelling language and tool chain
Description-md5: 2e28409cc66f9a9140d34ec21324d233