Tue, 26 Nov 2024 02:10:37 UTC | login

Information for RPM ocaml-facile-1.1-61.fc33.riscv64.rpm

ID591690
Nameocaml-facile
Version1.1
Release61.fc33
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 Time2020-04-16 16:02:30 GMT
Size479.93 KB
25aa49480f73d252da9982e6bcad22e6
LicenseLGPLv2+
Buildrootf33-build-181037-45198
Provides
ocaml(Facile) = d18de1fe671e14c333c6a8376339dea8
ocaml(Fcl_alldiff) = 4a7101e35f36e0b32e713ff739599a78
ocaml(Fcl_arith) = be342bfdc2a6d395aa05c3ef77c4639d
ocaml(Fcl_boolean) = 8cd1122f610b0e8763fb682a7f34eb56
ocaml(Fcl_conjunto) = 90625383501283a42bd4b556ee28ed98
ocaml(Fcl_cstr) = 4b004b9bd1aa26b2a6080f1094436158
ocaml(Fcl_data) = f74bcfffdf97020cdb48d2ded5312d10
ocaml(Fcl_debug) = dce9d54f5033f4e194ec10bb2643125c
ocaml(Fcl_domain) = a7cafe6462aa74de79939a453d1cac65
ocaml(Fcl_expr) = 50b8f4eda8f75e8fce0a8078430e86d4
ocaml(Fcl_fdArray) = 8ab8ada1d08096903b91828e4031c76a
ocaml(Fcl_float) = 175309101b8e43dabb428d740200583e
ocaml(Fcl_gcc) = 1345ffc6b21c4742bb1e11954fb1cf5e
ocaml(Fcl_genesis) = 479aa0e0764e57c7166d126869baeaef
ocaml(Fcl_goals) = cc4fd06cc5e531159835084c5ada4720
ocaml(Fcl_interval) = 253c9cd143dc54c305f75c0562ee5a11
ocaml(Fcl_invariant) = e4ede23e5a6d559af42bcacbc2052ffb
ocaml(Fcl_linear) = ecc75ba441cd82d4b0a7daf92cfd917a
ocaml(Fcl_misc) = 78b716b0bcb595bcb81e3844a83ff8be
ocaml(Fcl_nonlinear) = 8dc0fb7d20ff30b6ad6216e6a736f2ee
ocaml(Fcl_opti) = a1922cb499fb0ed673d89903ffca7fc0
ocaml(Fcl_reify) = 84d31fda29f51634d6bd000e003b8299
ocaml(Fcl_setDomain) = e07d21b20dec1da3158db425110d46fc
ocaml(Fcl_sorting) = 39445c7cd05c277e5e41ddae0d39ebab
ocaml(Fcl_stak) = 5fbd0699e8d51c2f9bab16ca9f62b72e
ocaml(Fcl_var) = 67c37e138557a9357e0a7e46d95d4c3c
ocaml-facile = 1.1-61.fc33
ocaml-facile(riscv-64) = 1.1-61.fc33
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(CamlinternalFormatBasics) = 96d16aae6255eb02a788ee96a8adb816
ocaml(Fcl_alldiff) = 4a7101e35f36e0b32e713ff739599a78
ocaml(Fcl_arith) = be342bfdc2a6d395aa05c3ef77c4639d
ocaml(Fcl_boolean) = 8cd1122f610b0e8763fb682a7f34eb56
ocaml(Fcl_conjunto) = 90625383501283a42bd4b556ee28ed98
ocaml(Fcl_cstr) = 4b004b9bd1aa26b2a6080f1094436158
ocaml(Fcl_data) = f74bcfffdf97020cdb48d2ded5312d10
ocaml(Fcl_debug) = dce9d54f5033f4e194ec10bb2643125c
ocaml(Fcl_domain) = a7cafe6462aa74de79939a453d1cac65
ocaml(Fcl_expr) = 50b8f4eda8f75e8fce0a8078430e86d4
ocaml(Fcl_fdArray) = 8ab8ada1d08096903b91828e4031c76a
ocaml(Fcl_float) = 175309101b8e43dabb428d740200583e
ocaml(Fcl_gcc) = 1345ffc6b21c4742bb1e11954fb1cf5e
ocaml(Fcl_genesis) = 479aa0e0764e57c7166d126869baeaef
ocaml(Fcl_goals) = cc4fd06cc5e531159835084c5ada4720
ocaml(Fcl_interval) = 253c9cd143dc54c305f75c0562ee5a11
ocaml(Fcl_invariant) = e4ede23e5a6d559af42bcacbc2052ffb
ocaml(Fcl_linear) = ecc75ba441cd82d4b0a7daf92cfd917a
ocaml(Fcl_misc) = 78b716b0bcb595bcb81e3844a83ff8be
ocaml(Fcl_nonlinear) = 8dc0fb7d20ff30b6ad6216e6a736f2ee
ocaml(Fcl_opti) = a1922cb499fb0ed673d89903ffca7fc0
ocaml(Fcl_reify) = 84d31fda29f51634d6bd000e003b8299
ocaml(Fcl_setDomain) = e07d21b20dec1da3158db425110d46fc
ocaml(Fcl_sorting) = 39445c7cd05c277e5e41ddae0d39ebab
ocaml(Fcl_stak) = 5fbd0699e8d51c2f9bab16ca9f62b72e
ocaml(Fcl_var) = 67c37e138557a9357e0a7e46d95d4c3c
ocaml(Stdlib) = 4d1e23b7e21beafc7e35ae8d03175363
ocaml(Stdlib__array) = cc0fd9ef9707b375e6d40d8358c106ad
ocaml(Stdlib__buffer) = d43caaa1df354240fb88291babb07541
ocaml(Stdlib__hashtbl) = b794b186a6191285f001cf280b91ef64
ocaml(Stdlib__int32) = 6349c147264959acbf0ac9228e673059
ocaml(Stdlib__int64) = 30409038a8631920ea082e6dcf4015b4
ocaml(Stdlib__list) = 8e6fa4ee6fcb775ae0fe9bba7ec058dc
ocaml(Stdlib__nativeint) = 8a11ebd83553fcd0972b4bb3c4b46fae
ocaml(Stdlib__pervasives) = 19f9a0e483aa5b7b4eb09317d1e2c8d8
ocaml(Stdlib__printf) = a9c6559224689d87d5194d6c3ef5df0c
ocaml(Stdlib__random) = 567144a2f9b0de09c7621f719be5e236
ocaml(Stdlib__seq) = 22b526b221509ae244d8671d8e17a697
ocaml(Stdlib__set) = b37499252b50613da5df36daa1effa1d
ocaml(Stdlib__string) = 8739c8c6957f1b86d987671557e471cb
ocaml(Stdlib__sys) = 39b7724a15a8f948532ebd48f628b988
ocaml(Stdlib__uchar) = 1bfeb4ea85f4136294d66dae21ce997c
ocaml(Stdlib__weak) = 6ab4947f3fba4d104157db77d5b80445
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.15 MB
/usr/lib64/ocaml/facile/facile.cmi63.32 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