Thu, 23 May 2024 09:49:18 UTC | login

Information for RPM ocaml-facile-1.1-67.fc33.1.rvre0.riscv64.rpm

ID781243
Nameocaml-facile
Version1.1
Release67.fc33.1.rvre0
Epoch
Archriscv64
SummaryOCaml library for constraint programming
DescriptionFaCiLe 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 Time2021-04-25 07:29:50 GMT
Size559.75 KB
8bbb1f2d36df9fc96de482980c08411b
LicenseLGPLv2+
Buildrootf33-build-597399-66909
Provides
ocaml(Facile) = 3954bbbb682d3fb264382e185e33a411
ocaml(Fcl_alldiff) = 0398b017fb87c0f74c59901f95525c5b
ocaml(Fcl_arith) = 9c47796e12a3881802c82c39147a21cd
ocaml(Fcl_boolean) = 023ddc1097821832fe6056e255db34ac
ocaml(Fcl_conjunto) = af24243cf7c8b17415967dfffb69dac5
ocaml(Fcl_cstr) = 0e08bd5c3b5dff169c6cb3e9a8383953
ocaml(Fcl_data) = bc261879d5196f21f09a7d78d42a0ed3
ocaml(Fcl_debug) = e6229b7990db044711b7963005cca16f
ocaml(Fcl_domain) = b60f04219f3e87d7bb8d2dfcf877ff33
ocaml(Fcl_expr) = 56cf06376006b854a5bf97b8b0c8db29
ocaml(Fcl_fdArray) = 73a9d3caea8c8d35bbaab7cb3437a778
ocaml(Fcl_float) = 0d6a699bc2822e427377ce51c44d15d8
ocaml(Fcl_gcc) = 92acbce3013935f0d2e1bfdcf3b910b9
ocaml(Fcl_genesis) = 47ba70de3ce4767e6d791b6eaea5a244
ocaml(Fcl_goals) = 16a1cf987446dfc4ebda546ead0318ae
ocaml(Fcl_interval) = fbd451468e50c2347c25835cdd52b580
ocaml(Fcl_invariant) = b6199eccf31e92229c8c5a7d2e640d5d
ocaml(Fcl_linear) = 4c1201132d40e32f0db331bc9176c1a5
ocaml(Fcl_misc) = 315dd868e3166a1831a811dd18cdac95
ocaml(Fcl_nonlinear) = f2e76ea480449bf51bde01bcdc337a3c
ocaml(Fcl_opti) = 98ccb0a10e0705eae62756f4448b1171
ocaml(Fcl_reify) = 849dfe554b8fff7d51b2807733233a70
ocaml(Fcl_setDomain) = 996b941f1bee624942136f9e6c700268
ocaml(Fcl_sorting) = 20f76ac72179db19352367cfd4e50071
ocaml(Fcl_stak) = 59a97950515644fa54bfa1569d0af9f2
ocaml(Fcl_var) = 72ed77de68763d3ddc547020a9d6837c
ocaml-facile = 1.1-67.fc33.1.rvre0
ocaml-facile(riscv-64) = 1.1-67.fc33.1.rvre0
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(CamlinternalFormatBasics) = 3a3ca1838627f7762f49679ce0278ad1
ocaml(Fcl_alldiff) = 0398b017fb87c0f74c59901f95525c5b
ocaml(Fcl_arith) = 9c47796e12a3881802c82c39147a21cd
ocaml(Fcl_boolean) = 023ddc1097821832fe6056e255db34ac
ocaml(Fcl_conjunto) = af24243cf7c8b17415967dfffb69dac5
ocaml(Fcl_cstr) = 0e08bd5c3b5dff169c6cb3e9a8383953
ocaml(Fcl_data) = bc261879d5196f21f09a7d78d42a0ed3
ocaml(Fcl_debug) = e6229b7990db044711b7963005cca16f
ocaml(Fcl_domain) = b60f04219f3e87d7bb8d2dfcf877ff33
ocaml(Fcl_expr) = 56cf06376006b854a5bf97b8b0c8db29
ocaml(Fcl_fdArray) = 73a9d3caea8c8d35bbaab7cb3437a778
ocaml(Fcl_float) = 0d6a699bc2822e427377ce51c44d15d8
ocaml(Fcl_gcc) = 92acbce3013935f0d2e1bfdcf3b910b9
ocaml(Fcl_genesis) = 47ba70de3ce4767e6d791b6eaea5a244
ocaml(Fcl_goals) = 16a1cf987446dfc4ebda546ead0318ae
ocaml(Fcl_interval) = fbd451468e50c2347c25835cdd52b580
ocaml(Fcl_invariant) = b6199eccf31e92229c8c5a7d2e640d5d
ocaml(Fcl_linear) = 4c1201132d40e32f0db331bc9176c1a5
ocaml(Fcl_misc) = 315dd868e3166a1831a811dd18cdac95
ocaml(Fcl_nonlinear) = f2e76ea480449bf51bde01bcdc337a3c
ocaml(Fcl_opti) = 98ccb0a10e0705eae62756f4448b1171
ocaml(Fcl_reify) = 849dfe554b8fff7d51b2807733233a70
ocaml(Fcl_setDomain) = 996b941f1bee624942136f9e6c700268
ocaml(Fcl_sorting) = 20f76ac72179db19352367cfd4e50071
ocaml(Fcl_stak) = 59a97950515644fa54bfa1569d0af9f2
ocaml(Fcl_var) = 72ed77de68763d3ddc547020a9d6837c
ocaml(Stdlib) = c21c5d26416461b543321872a551ea0d
ocaml(Stdlib__array) = 4528cb7f2202a96df7bc293599ce41ac
ocaml(Stdlib__buffer) = 234b61fa3906003822205287eb65a481
ocaml(Stdlib__hashtbl) = b762db4e3b71657dfcfd14539af9611a
ocaml(Stdlib__int32) = 2e6c00c32474b3f4f0ca069a3eceab68
ocaml(Stdlib__int64) = 8da509b391e66cf2a7e37819728d5a15
ocaml(Stdlib__list) = 15cef02558cc6576c616c84f09d5b0ea
ocaml(Stdlib__nativeint) = 27bfaa776a5a329557cb5cebde7d21e0
ocaml(Stdlib__pervasives) = 76119ce30941328f65713c9e5efa6ead
ocaml(Stdlib__printf) = 5cec2efa6f5a2459d17f2788deb783f2
ocaml(Stdlib__random) = d289c1fd5c5e6a54a142ac3ffe05ae8a
ocaml(Stdlib__seq) = d6a8de25c9eecf5ae9420a9f3f8b2e88
ocaml(Stdlib__set) = 5d365647a10f75c22f2b045a867b4d3e
ocaml(Stdlib__string) = 9d02da014acaf1dfdd63872e707eaed9
ocaml(Stdlib__sys) = 794924b786d5c3059c545cb526394520
ocaml(Stdlib__uchar) = ab6f1df93abf9e800a3e0d1543523c96
ocaml(Stdlib__weak) = 71a7b796d13b517ff42de5c42fde0f98
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 6 of 6
Name ascending sort Size
/usr/lib64/ocaml/facile0.00 B
/usr/lib64/ocaml/facile/facile.cma1.46 MB
/usr/lib64/ocaml/facile/facile.cmi66.75 KB
/usr/share/doc/ocaml-facile0.00 B
/usr/share/doc/ocaml-facile/LICENSE18.78 KB
/usr/share/doc/ocaml-facile/README1.31 KB
Component of No Buildroots