How to Install and Uninstall ocaml-facile Package on openSUSE Leap

Last updated: May 03,2024

1. Install "ocaml-facile" package

This is a short guide on how to install ocaml-facile on openSUSE Leap


    
        
            $
        

        
            
                sudo zypper refresh
            
                    
    
    Copied


    
        
            $
        

        
            
                sudo zypper install
            
                        
                ocaml-facile
            
                    
    
    Copied

2. Uninstall "ocaml-facile" package

This guide covers the steps necessary to uninstall ocaml-facile on openSUSE Leap:


    
        
            $
        

        
            
                sudo zypper remove
            
                        
                ocaml-facile
            
                    
    
    Copied

3. Information about the ocaml-facile package on openSUSE Leap

Information for package ocaml-facile:
-------------------------------------
Repository : Main Repository
Name : ocaml-facile
Version : 1.1.4-bp155.2.12
Arch : x86_64
Vendor : openSUSE
Installed Size : 1.1 MiB
Installed : No
Status : not installed
Source package : ocaml-facile-1.1.4-bp155.2.12.src
Upstream URL : https://github.com/Emmanuel-PLF/facile
Summary : Ocaml Constraint Programming Library
Description :
FaCiLe is a constraint programming library on integer and integer set
finite domains written in OCaml. It offers all usual facilities to
create and manipulate finite domain variables, arithmetic expressions
and constraints (possibly non-linear), built-in global constraints
(difference, cardinality, sorting etc.) and search and optimization
goals. FaCiLe as well allows you to build easily user-defined
constraints and goals (including recursive ones), making pervasive use
of OCaml higher-order functionals to provide a simple and flexible
interface for the user. As FaCiLe is an OCaml library and not "yet
another language", the user benefits from type inference and strong
typing discipline, high level of abstraction, a modules and objects
system, as well as native code compilation efficiency, garbage
collection and replay debugger, all features of OCaml (among many
others) that allow to prototype and experiment quickly: modeling, data
processing and interface are implemented with the same powerful and
efficient language.