Fri, 31 Jan 2025 20:50:07 UTC | login

Information for RPM ocaml-facile-1.1.4-13.fc42.riscv64.rpm

ID1488678
Nameocaml-facile
Version1.1.4
Release13.fc42
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 Time2025-01-11 19:19:23 GMT
Size764.93 KB
7683d34cece6bfc11a956b3012cd4a98
LicenseLGPL-2.1-or-later
git:https://github.com/Emmanuel-PLF/facile.git
Buildrootf42-build-865535-173241
Provides
ocaml(Facile) = 7c7a16d11f371cc5239664eabb6e5080
ocaml(Facile__) = b5a1cff56f2c352abb1fc046bc583ee9
ocaml(Facile__Fcl_alldiff) = 60812cad790668df80d7428d1da09f94
ocaml(Facile__Fcl_arith) = c62aea470b7a86f34b3b01c55e73bcc4
ocaml(Facile__Fcl_boolean) = f07dfc436a6017878d4123562cfcff1d
ocaml(Facile__Fcl_conjunto) = 5b4217dcd77eea95d73846a7de182b6b
ocaml(Facile__Fcl_cstr) = e8502fcd5610312efbf6a2d28564ee09
ocaml(Facile__Fcl_data) = 9a697203796c8cd6e1d2c4dcf7ddef74
ocaml(Facile__Fcl_debug) = a43a190cac8a91998660101f52c98fe4
ocaml(Facile__Fcl_domain) = 8837283a404e354a0d9a04090ad123b3
ocaml(Facile__Fcl_expr) = 26082e76448db5f996960229ad62ca06
ocaml(Facile__Fcl_fdArray) = 7c121833fdffc8b4ebc17f24630191db
ocaml(Facile__Fcl_float) = a59eccd9e6086d6fc7fc95bb3ba929fc
ocaml(Facile__Fcl_gcc) = 391d0016865831d14c040c5e77054ced
ocaml(Facile__Fcl_genesis) = e233b9aba49ccf9408de3175bc9a1d34
ocaml(Facile__Fcl_goals) = 2210f9c83dbf34a30354d95b3fc75e5c
ocaml(Facile__Fcl_interval) = 178fdd6df0f3d96790f17f4764c608f8
ocaml(Facile__Fcl_invariant) = 72eab1b3564f17a5e88f2537eae1e3c2
ocaml(Facile__Fcl_linear) = a6c3a10abe8e3b6771a40b018925ee8b
ocaml(Facile__Fcl_misc) = a0ad2dca23bcab1f52be88a096a7e773
ocaml(Facile__Fcl_nonlinear) = 04463aed8524c6dcc41505e9e89f3750
ocaml(Facile__Fcl_opti) = 76190a87791d6aa330bb46716e7a8479
ocaml(Facile__Fcl_reify) = 117db14fc41e82831970cb103b3c1dcd
ocaml(Facile__Fcl_setDomain) = 23db4761dbd5c029801e91b6fc1429e4
ocaml(Facile__Fcl_sorting) = 5d01f801dfb3f193e500234b86fcdc88
ocaml(Facile__Fcl_stak) = c38cc88b9c968e363407a6095322f89c
ocaml(Facile__Fcl_var) = 7266f8d70bb44bb8b81b4ba7034de3e1
ocaml-facile = 1.1.4-13.fc42
ocaml-facile(riscv-64) = 1.1.4-13.fc42
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
libm.so.6()(64bit)
libm.so.6(GLIBC_2.27)(64bit)
ocaml(CamlinternalFormatBasics) = aa550bdab521d60e769a9ad43a677e65
ocaml(Facile__) = b5a1cff56f2c352abb1fc046bc583ee9
ocaml(Facile__Fcl_alldiff) = 60812cad790668df80d7428d1da09f94
ocaml(Facile__Fcl_arith) = c62aea470b7a86f34b3b01c55e73bcc4
ocaml(Facile__Fcl_boolean) = f07dfc436a6017878d4123562cfcff1d
ocaml(Facile__Fcl_conjunto) = 5b4217dcd77eea95d73846a7de182b6b
ocaml(Facile__Fcl_cstr) = e8502fcd5610312efbf6a2d28564ee09
ocaml(Facile__Fcl_data) = 9a697203796c8cd6e1d2c4dcf7ddef74
ocaml(Facile__Fcl_debug) = a43a190cac8a91998660101f52c98fe4
ocaml(Facile__Fcl_domain) = 8837283a404e354a0d9a04090ad123b3
ocaml(Facile__Fcl_expr) = 26082e76448db5f996960229ad62ca06
ocaml(Facile__Fcl_fdArray) = 7c121833fdffc8b4ebc17f24630191db
ocaml(Facile__Fcl_float) = a59eccd9e6086d6fc7fc95bb3ba929fc
ocaml(Facile__Fcl_gcc) = 391d0016865831d14c040c5e77054ced
ocaml(Facile__Fcl_goals) = 2210f9c83dbf34a30354d95b3fc75e5c
ocaml(Facile__Fcl_interval) = 178fdd6df0f3d96790f17f4764c608f8
ocaml(Facile__Fcl_invariant) = 72eab1b3564f17a5e88f2537eae1e3c2
ocaml(Facile__Fcl_linear) = a6c3a10abe8e3b6771a40b018925ee8b
ocaml(Facile__Fcl_misc) = a0ad2dca23bcab1f52be88a096a7e773
ocaml(Facile__Fcl_nonlinear) = 04463aed8524c6dcc41505e9e89f3750
ocaml(Facile__Fcl_opti) = 76190a87791d6aa330bb46716e7a8479
ocaml(Facile__Fcl_reify) = 117db14fc41e82831970cb103b3c1dcd
ocaml(Facile__Fcl_setDomain) = 23db4761dbd5c029801e91b6fc1429e4
ocaml(Facile__Fcl_sorting) = 5d01f801dfb3f193e500234b86fcdc88
ocaml(Facile__Fcl_stak) = c38cc88b9c968e363407a6095322f89c
ocaml(Facile__Fcl_var) = 7266f8d70bb44bb8b81b4ba7034de3e1
ocaml(Stdlib) = 6a82e83554ad797b37ccbdfb6821c2b7
ocaml(Stdlib__Array) = 9d976b3b47c2c5800331b7449565b98c
ocaml(Stdlib__Buffer) = bf6c18db9a96f4c2d97dddb7f07cdee4
ocaml(Stdlib__Either) = c90604673db95a8e7dbd131a219e37c5
ocaml(Stdlib__Hashtbl) = 62d90b388a282ba341dbe91a50a61569
ocaml(Stdlib__Int32) = c023c5ff3d236c9ddea65bf3e12846b5
ocaml(Stdlib__Int64) = 7f664408b0d5725b26a41d8fe82de705
ocaml(Stdlib__List) = a30617a473d55bfeb31bc8cb1d8035c0
ocaml(Stdlib__Nativeint) = 7b40cfad9e114c0baec17b5f3a644be3
ocaml(Stdlib__Printf) = 53d0458f8bd9e6a47c1910b76e8b6f06
ocaml(Stdlib__Random) = 2aa639764f27c99788afa2b2dbf2e75f
ocaml(Stdlib__Seq) = a98573564faae435d9a1e05d5d2938ff
ocaml(Stdlib__Set) = 66354f6059cb641dc3f838c42610c2f7
ocaml(Stdlib__String) = 11ee86c6d03e0b37a2ef80541f3e00be
ocaml(Stdlib__Sys) = aa921c44c52af557dede0ef5720a3515
ocaml(Stdlib__Uchar) = cc650ed80ecb08760ed6479a6adeec7b
ocaml(Stdlib__Weak) = 1a371fbec831b5df00a44cc1e163c620
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
rtld(GNU_HASH)
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
1 through 39 of 39
Name ascending sort Size
/usr/lib/.build-id0.00 B
/usr/lib/.build-id/5a0.00 B
/usr/lib/.build-id/5a/2675b40b6f9d6113bd955599c8843f638d8ed846.00 B
/usr/lib64/ocaml/facile0.00 B
/usr/lib64/ocaml/facile/META168.00 B
/usr/lib64/ocaml/facile/facile.cma681.45 KB
/usr/lib64/ocaml/facile/facile.cmi21.45 KB
/usr/lib64/ocaml/facile/facile.cmxs945.35 KB
/usr/lib64/ocaml/facile/facile__.cmi1.35 KB
/usr/lib64/ocaml/facile/facile__Fcl_alldiff.cmi669.00 B
/usr/lib64/ocaml/facile/facile__Fcl_arith.cmi1.79 KB
/usr/lib64/ocaml/facile/facile__Fcl_boolean.cmi594.00 B
/usr/lib64/ocaml/facile/facile__Fcl_conjunto.cmi1.22 KB
/usr/lib64/ocaml/facile/facile__Fcl_cstr.cmi1.58 KB
/usr/lib64/ocaml/facile/facile__Fcl_data.cmi1.03 KB
/usr/lib64/ocaml/facile/facile__Fcl_debug.cmi619.00 B
/usr/lib64/ocaml/facile/facile__Fcl_domain.cmi1.96 KB
/usr/lib64/ocaml/facile/facile__Fcl_expr.cmi1.32 KB
/usr/lib64/ocaml/facile/facile__Fcl_fdArray.cmi755.00 B
/usr/lib64/ocaml/facile/facile__Fcl_float.cmi990.00 B
/usr/lib64/ocaml/facile/facile__Fcl_gcc.cmi703.00 B
/usr/lib64/ocaml/facile/facile__Fcl_genesis.cmi391.00 B
/usr/lib64/ocaml/facile/facile__Fcl_goals.cmi2.37 KB
/usr/lib64/ocaml/facile/facile__Fcl_interval.cmi616.00 B
/usr/lib64/ocaml/facile/facile__Fcl_invariant.cmi2.30 KB
/usr/lib64/ocaml/facile/facile__Fcl_linear.cmi1.01 KB
/usr/lib64/ocaml/facile/facile__Fcl_misc.cmi1.14 KB
/usr/lib64/ocaml/facile/facile__Fcl_nonlinear.cmi1.34 KB
/usr/lib64/ocaml/facile/facile__Fcl_opti.cmi779.00 B
/usr/lib64/ocaml/facile/facile__Fcl_reify.cmi833.00 B
/usr/lib64/ocaml/facile/facile__Fcl_setDomain.cmi1.85 KB
/usr/lib64/ocaml/facile/facile__Fcl_sorting.cmi689.00 B
/usr/lib64/ocaml/facile/facile__Fcl_stak.cmi1.27 KB
/usr/lib64/ocaml/facile/facile__Fcl_var.cmi5.81 KB
/usr/share/doc/ocaml-facile0.00 B
/usr/share/doc/ocaml-facile/CHANGES.md164.00 B
/usr/share/doc/ocaml-facile/README.md1.82 KB
/usr/share/licenses/ocaml-facile0.00 B
/usr/share/licenses/ocaml-facile/LICENSE.md18.78 KB
Component of No Buildroots