How to Install and Uninstall minizinc Package on Kali Linux

Last updated: May 18,2024

1. Install "minizinc" package

This guide let you learn how to install minizinc on Kali Linux


    
        
            $
        

        
            
                sudo apt update
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt install
            
                        
                minizinc
            
                    
    
    Copied

2. Uninstall "minizinc" package

Please follow the step by step instructions below to uninstall minizinc on Kali Linux:


    
        
            $
        

        
            
                sudo apt remove
            
                        
                minizinc
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo apt autoclean && sudo apt autoremove
            
                    
    
    Copied

3. Information about the minizinc package on Kali Linux

Package: minizinc
Version: 2.8.2+dfsg1-1
Installed-Size: 10088
Maintainer: Kari Pahula
Architecture: amd64
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.0), libgecode49, libgecodegist49, libstdc++6 (>= 13.1), flatzinc (>= 6.2.0-5) | ortools-flatzinc (>= 8.2+ds-6)
Breaks: minizinc-ide (<< 2.4.0~)
Size: 2255836
SHA256: 5a648a6cb4e9c7f00443e8b6670a8b9a5e03fe9dce19b4654c60e7ab38bc5045
SHA1: 5466917c09f605155e5cf9bf4f7243940ee196f5
MD5sum: 6ec5ec4652847a91ffeb9eff6805305f
Description: 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:
Homepage: https://www.minizinc.org/
Section: devel
Priority: optional
Filename: pool/main/m/minizinc/minizinc_2.8.2+dfsg1-1_amd64.deb