Sun, 16 Feb 2025 22:19:50 UTC | login

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

ID605443
Nameocaml-facile
Version1.1
Release64.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-05-08 10:36:00 GMT
Size559.63 KB
b5286ca4b64b241a03cbf90d715115b5
LicenseLGPLv2+
Buildrootf33-build-200131-47982
Provides
ocaml(Facile) = 2684ae42c1ecb6dd5e101b162a192983
ocaml(Fcl_alldiff) = f07389b83316a26c038f5ad1b8b3cb67
ocaml(Fcl_arith) = 96be2a2ec1a1ce5a9690508aed279c0d
ocaml(Fcl_boolean) = f6cc28b9c1937c94ddf9b278dad15bac
ocaml(Fcl_conjunto) = 5e982eb7fdfbf87d837421e4db123df7
ocaml(Fcl_cstr) = 288614f9ef10ab6e7343cc2ee70d2775
ocaml(Fcl_data) = 25f923edafa14412f164238eca357480
ocaml(Fcl_debug) = 1d2e3572e4985e65f7b355abef1afbb0
ocaml(Fcl_domain) = c6268042431bcba0ee352bbd29322d6d
ocaml(Fcl_expr) = 537d4ca8ab20f8d305bf4c7bca64f493
ocaml(Fcl_fdArray) = 5afcc42349e550761fb715548c1e01da
ocaml(Fcl_float) = b72d607330d8cb3a1bec6d230a074ace
ocaml(Fcl_gcc) = e93ae3c3b9b1a1b68c5b3c7dbd6303e4
ocaml(Fcl_genesis) = a0bf2537216c4739361dea559b8b208c
ocaml(Fcl_goals) = 8bb134160d1a0f4731de6279708abedf
ocaml(Fcl_interval) = 5e6c71e40fa67eb451f0932db85bec54
ocaml(Fcl_invariant) = 7875f630cc78580f1aec74f3e0f37f2f
ocaml(Fcl_linear) = ab200f81a1b08e7437d294830de590ee
ocaml(Fcl_misc) = 25ede7264e3bb1aa1d0aa49f2943d36e
ocaml(Fcl_nonlinear) = 755773515be5bfe19e5e92844a5f1555
ocaml(Fcl_opti) = 66d06d066a885757497a81647fb06c8c
ocaml(Fcl_reify) = a89248b670cff84e052a8a17fbe51c7b
ocaml(Fcl_setDomain) = d2c8165eac11029deda7de8d414e2f4f
ocaml(Fcl_sorting) = dc4716bb17b456f31d3fd8d8bf40e9ca
ocaml(Fcl_stak) = 0a7a9262f6e140039b79c3c31a7b1dcd
ocaml(Fcl_var) = 2ad183b4058d1ec54a714c8d9504fc09
ocaml-facile = 1.1-64.fc33
ocaml-facile(riscv-64) = 1.1-64.fc33
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(CamlinternalFormatBasics) = abb6a3e103af15618334f607881d2f6e
ocaml(Fcl_alldiff) = f07389b83316a26c038f5ad1b8b3cb67
ocaml(Fcl_arith) = 96be2a2ec1a1ce5a9690508aed279c0d
ocaml(Fcl_boolean) = f6cc28b9c1937c94ddf9b278dad15bac
ocaml(Fcl_conjunto) = 5e982eb7fdfbf87d837421e4db123df7
ocaml(Fcl_cstr) = 288614f9ef10ab6e7343cc2ee70d2775
ocaml(Fcl_data) = 25f923edafa14412f164238eca357480
ocaml(Fcl_debug) = 1d2e3572e4985e65f7b355abef1afbb0
ocaml(Fcl_domain) = c6268042431bcba0ee352bbd29322d6d
ocaml(Fcl_expr) = 537d4ca8ab20f8d305bf4c7bca64f493
ocaml(Fcl_fdArray) = 5afcc42349e550761fb715548c1e01da
ocaml(Fcl_float) = b72d607330d8cb3a1bec6d230a074ace
ocaml(Fcl_gcc) = e93ae3c3b9b1a1b68c5b3c7dbd6303e4
ocaml(Fcl_genesis) = a0bf2537216c4739361dea559b8b208c
ocaml(Fcl_goals) = 8bb134160d1a0f4731de6279708abedf
ocaml(Fcl_interval) = 5e6c71e40fa67eb451f0932db85bec54
ocaml(Fcl_invariant) = 7875f630cc78580f1aec74f3e0f37f2f
ocaml(Fcl_linear) = ab200f81a1b08e7437d294830de590ee
ocaml(Fcl_misc) = 25ede7264e3bb1aa1d0aa49f2943d36e
ocaml(Fcl_nonlinear) = 755773515be5bfe19e5e92844a5f1555
ocaml(Fcl_opti) = 66d06d066a885757497a81647fb06c8c
ocaml(Fcl_reify) = a89248b670cff84e052a8a17fbe51c7b
ocaml(Fcl_setDomain) = d2c8165eac11029deda7de8d414e2f4f
ocaml(Fcl_sorting) = dc4716bb17b456f31d3fd8d8bf40e9ca
ocaml(Fcl_stak) = 0a7a9262f6e140039b79c3c31a7b1dcd
ocaml(Fcl_var) = 2ad183b4058d1ec54a714c8d9504fc09
ocaml(Stdlib) = 758bb07a9fe47ce2726d308103d8c6ac
ocaml(Stdlib__array) = 8bbff66dc4743569bd90a35312172b33
ocaml(Stdlib__buffer) = 62274dc59b2be3a60aa8ac3225e14d26
ocaml(Stdlib__hashtbl) = 6ba415b3504985a4f465c58f988c3d82
ocaml(Stdlib__int32) = 9084c02abc6ad1f2aec73b083db3921e
ocaml(Stdlib__int64) = ed002463159e157ea3e45d12f5048981
ocaml(Stdlib__list) = 3a95348c023b83cf26ac8e0229a3caef
ocaml(Stdlib__nativeint) = 3dfc3f10bf88570f7c6bc2ebfbc0f376
ocaml(Stdlib__pervasives) = 5c561b71c495f928b9d9e972da260962
ocaml(Stdlib__printf) = 62e84bf0bef05cc9269eeeabae7fceb4
ocaml(Stdlib__random) = 58acc50e2c9a8a709ca3a5f2b1a0b291
ocaml(Stdlib__seq) = aa29410d95f3c0bcbe4b1dc2a2661ed3
ocaml(Stdlib__set) = bef88bbfd0cd2c203ca0f106f12ef88a
ocaml(Stdlib__string) = 0d19388e50e8e106b36c2865d3eda89a
ocaml(Stdlib__sys) = 196c473163bbff06e51047ce1a60437f
ocaml(Stdlib__uchar) = af48317d91d50bcd76019fb3dc0a0a7e
ocaml(Stdlib__weak) = 07b9afb85cdb42946654c04c24c500ac
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
1 through 2 of 2
Buildroot descending sort Created State
f33-build-229531-49979 2020-06-04 04:01:19 expired
f33-build-201859-48096 2020-05-08 13:53:28 expired