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

Last updated: November 06,2024

1. Install "flatzinc" package

Please follow the guidelines below to install flatzinc on Ubuntu 16.04 LTS (Xenial Xerus)


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                flatzinc
            
                    
    
    Copied

2. Uninstall "flatzinc" package

Learn how to uninstall flatzinc on Ubuntu 16.04 LTS (Xenial Xerus):


    
        
            $
        

        
            
                sudo apt remove
            
                        
                flatzinc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

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

Package: flatzinc
Priority: optional
Section: universe/devel
Installed-Size: 212
Maintainer: Ubuntu Developers
Original-Maintainer: Kari Pahula
Architecture: amd64
Source: gecode
Version: 4.4.0-3
Replaces: libgecode-dev (<< 3.7.0)
Depends: libc6 (>= 2.14), libgcc1 (>= 1:4.1.1), libgecode41v5, libgecodeflatzinc41v5, libgecodegist41v5, libstdc++6 (>= 5.2)
Filename: pool/universe/g/gecode/flatzinc_4.4.0-3_amd64.deb
Size: 22358
MD5sum: f7bda8ae01e81274dabede9a970fc227
SHA1: ac42a934b9401b66f9dbff984c0e90067271db2f
SHA256: 7d61ca7a57538de1ba3035bba1bb90fcfdea7b82b8587012250bcb2f810f7092
Description-en: constraint problem modelling language
FlatZinc is a low-level modelling language for constraint
problems. It is designed to be easily interfaceable to constraint
solvers (like Gecode). For more information on FlatZinc, please refer
to the MiniZinc pages of the G12 project
.
.
We provide a parser that reads a FlatZinc model from a file, and
returns a Gecode Space object that represents the model. We also
provide a simple front-end, an executable program that reads a
FlatZinc model and prints the solution (if any) on the standard
output.
.
The FlatZinc interpreter that ships with Gecode version 4.4.0
supports the FlatZinc language and MiniZinc global constraint
definitions of MiniZinc version 1.6.0.
Description-md5: 19e3e47e314dec61547f522a6d2e63c0
Homepage: http://www.gecode.org/flatzinc.html
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Origin: Ubuntu