How to Install and Uninstall ocaml-facile.x86_64 Package on Fedora 39

Last metadata expiration check: 3:55:23 ago on Thu Mar 7 11:44:58 2024.
Available Packages
Name : ocaml-facile
Version : 1.1.4
Release : 3.fc39
Architecture : x86_64
Size : 812 k
Source : ocaml-facile-1.1.4-3.fc39.src.rpm
Repository : fedora
Summary : OCaml library for constraint programming
URL : http://facile.recherche.enac.fr/
License : LGPL-2.1-or-later
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 allows as well 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, 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.