How to Install and Uninstall minizinc Package on Ubuntu 23.10 (Mantic Minotaur)

Last updated: December 23,2024

1. Install "minizinc" package

Please follow the instructions below to install minizinc on Ubuntu 23.10 (Mantic Minotaur)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                minizinc
            
                    
    
    Copied

2. Uninstall "minizinc" package

This tutorial shows how to uninstall minizinc on Ubuntu 23.10 (Mantic Minotaur):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                minizinc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the minizinc package on Ubuntu 23.10 (Mantic Minotaur)

Package: minizinc
Architecture: amd64
Version: 2.6.4+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: 7733
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libgecode49, libgecodegist49, libstdc++6 (>= 11), flatzinc (>= 6.2.0-1)
Breaks: minizinc-ide (<< 2.4.0~)
Filename: pool/universe/m/minizinc/minizinc_2.6.4+dfsg1-1_amd64.deb
Size: 2176568
MD5sum: 05739203aa3356faad6b5f6899b71cc0
SHA1: 41dc7e504fb3e984f4ba6cf9d5c648a465b17a4d
SHA256: 0a72dcfcfead96d70b1d14e59af63f2995d658af4037c9ca63072646d52c1188
SHA512: dca0ebf1de9e506878557805b35dc9d611a75ab3f8f210b50f6101b3f491abc3b561fc6b37c33ec21bcbba1344d60860dbf34657dbbeee8c5056eda340be9cf3
Homepage: http://www.minizinc.org/
Description: constraint modelling language and tool chain
Description-md5: 2e28409cc66f9a9140d34ec21324d233