How to Install and Uninstall flatzinc Package on Linux Mint 20.3 (Una)

Last updated: December 29,2024

1. Install "flatzinc" package

In this section, we are going to explain the necessary steps to install flatzinc on Linux Mint 20.3 (Una)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                flatzinc
            
                    
    
    Copied

2. Uninstall "flatzinc" package

Please follow the step by step instructions below to uninstall flatzinc on Linux Mint 20.3 (Una):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                flatzinc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the flatzinc package on Linux Mint 20.3 (Una)

Package: flatzinc
Architecture: amd64
Version: 6.2.0-3build1
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: 247
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-3build1_amd64.deb
Size: 24624
MD5sum: 9671d0e49bb248ef6f2d5f8be312cc91
SHA1: dfbba81cfd9d0a41a74fe122a41cb807da4d3647
SHA256: ad4be5999c65ed7657ce58d27d4674e1e67828b1884b831bdb1c16e5e71b0fbc
Homepage: http://www.gecode.org/flatzinc.html
Description: constraint problem modelling language
Description-md5: ca31fe08e8cd4b702df21cd78963002e