How to Install and Uninstall minizinc Package on openSuSE Tumbleweed

Last updated: May 18,2024

1. Install "minizinc" package

This is a short guide on how to install minizinc on openSuSE Tumbleweed


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                minizinc
            
                    
    
    Copied

2. Uninstall "minizinc" package

Please follow the guidance below to uninstall minizinc on openSuSE Tumbleweed:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                minizinc
            
                    
    
    Copied

3. Information about the minizinc package on openSuSE Tumbleweed

Information for package minizinc:
---------------------------------
Repository : openSUSE-Tumbleweed-Oss
Name : minizinc
Version : 2.8.2-1.2
Arch : x86_64
Vendor : openSUSE
Installed Size : 6.0 MiB
Installed : No
Status : not installed
Source package : libminizinc-2.8.2-1.2.src
Upstream URL : https://www.minizinc.org/
Summary : A high-level constraint modelling language
Description :
You can use MiniZinc to model constraint satisfaction and optimisation
problems in a high-level, solver-independent way, taking advantage of
a large library of pre-defined constraints. Your model is then
compiled into FlatZinc, a solver input language that is understood
by a wide range of solvers.