Main Site Links:

• Summary
• Packages
• Builds
• Tasks
• Tags
• Build Targets
• Users
• Hosts
• Reports
• Search
• API

Information for RPM ocaml-facile-1.1.4-12.fc41.src.rpm

ID	1360601
Name	ocaml-facile
Version	1.1.4
Release	12.fc41
Epoch
Arch	src
Summary	OCaml library for constraint programming
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.
Build Time	2024-07-24 11:27:33 GMT
Size	115.86 KB
SIGMD5	897452f6e2967ebbd62154d6593cafeb
License	LGPL-2.1-or-later
VCS	git:https://github.com/Emmanuel-PLF/facile.git
Buildroot	f41-build-819961-151984
Provides	ocaml-facile = 1.1.4-12.fc41 ocaml-facile-devel = 1.1.4-12.fc41
Obsoletes	No Obsoletes
Conflicts	No Conflicts
Requires	ocaml >= 4.03.0 ocaml-dune rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1
Recommends	No Recommends
Suggests	No Suggests
Supplements	No Supplements
Enhances	No Enhances
Files	1 through 4 of 4 Name Size facile-1.1.4.tbz 81.91 KB ocaml-facile-debug.patch 278.00 B ocaml-facile-use-dune.patch 14.25 KB ocaml-facile.spec 14.37 KB
Component of	No Buildroots