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

Last metadata expiration check: 3:57:06 ago on Sat Mar 16 22:59:57 2024.
Available Packages
Name : ocaml-facile
Version : 1.1
Release : 77.fc38
Architecture : x86_64
Size : 560 k
Source : ocaml-facile-1.1-77.fc38.src.rpm
Repository : fedora
Summary : OCaml library for constraint programming
URL : http://www.recherche.enac.fr/log/facile/
License : LGPLv2+
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.