Sat, 18 May 2024 11:31:20 UTC | login

Information for RPM ocaml-facile-1.1-75.fc37.riscv64.rpm

ID821081
Nameocaml-facile
Version1.1
Release75.fc37
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 Time2022-10-07 09:37:00 GMT
Size559.63 KB
0fba75fd2858337c060aef5f8a8d26e1
LicenseLGPLv2+
Buildrootf37-build-642917-72070
Provides
ocaml(Facile) = c1a325ecefe367b7cc6a6f423e36180c
ocaml(Fcl_alldiff) = 850a5fdf351401eccb8a047affe7cd80
ocaml(Fcl_arith) = 90d50c42366d157df8269f2ff8b9d635
ocaml(Fcl_boolean) = 113cbe314bbe81d6fc003a4fb9cc2bfb
ocaml(Fcl_conjunto) = 3f267e772b613a0d225d44b3d50af91e
ocaml(Fcl_cstr) = ed99df558fc15b2d45d16e52a8744f3f
ocaml(Fcl_data) = be92f59cfe0ed85564bb33725311f84a
ocaml(Fcl_debug) = d298067ad781b7ecd2dd89db84474dea
ocaml(Fcl_domain) = d119e881f7ffcca9f1a9a5371eab54a2
ocaml(Fcl_expr) = e42058762e8a26ac6d4e5379b1852a44
ocaml(Fcl_fdArray) = 8a8ebd984359e02123515acb077e96e2
ocaml(Fcl_float) = 2e0e7df669644a1814ebba5f6d8c5958
ocaml(Fcl_gcc) = 70510e62508a1fe57f46b5065df4c945
ocaml(Fcl_genesis) = b7ed5297852208ab2c0c892b088cecc2
ocaml(Fcl_goals) = 859bcc3177c1a0c15f2aed6be0e2203a
ocaml(Fcl_interval) = d9fb2edd22893a156a4569418a6b1066
ocaml(Fcl_invariant) = b20b3a40b6887cc536bd858f9ed5f443
ocaml(Fcl_linear) = 7a5dbfe65a095d53f7af5df6bfd0fcc0
ocaml(Fcl_misc) = 537294553673f5beeee28921df3bce71
ocaml(Fcl_nonlinear) = 891f16f5297afb1487fb1ca7a1287d81
ocaml(Fcl_opti) = 6694e4357adffea08a8f4d2017cebd5b
ocaml(Fcl_reify) = 963ee19fe6d496c8d65c96948a2f43ab
ocaml(Fcl_setDomain) = cdf13a247645dca6ab96f61f0050ec1d
ocaml(Fcl_sorting) = faf24595cb9b395a38767e2dc37f5fd4
ocaml(Fcl_stak) = 45cd334566e646d1100d776d0926293e
ocaml(Fcl_var) = eaa33e0d7f47584fdc52bf23f0c11cae
ocaml-facile = 1.1-75.fc37
ocaml-facile(riscv-64) = 1.1-75.fc37
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(CamlinternalFormatBasics) = 8f8f634558798ee408df3c50a5539b15
ocaml(Fcl_alldiff) = 850a5fdf351401eccb8a047affe7cd80
ocaml(Fcl_arith) = 90d50c42366d157df8269f2ff8b9d635
ocaml(Fcl_boolean) = 113cbe314bbe81d6fc003a4fb9cc2bfb
ocaml(Fcl_conjunto) = 3f267e772b613a0d225d44b3d50af91e
ocaml(Fcl_cstr) = ed99df558fc15b2d45d16e52a8744f3f
ocaml(Fcl_data) = be92f59cfe0ed85564bb33725311f84a
ocaml(Fcl_debug) = d298067ad781b7ecd2dd89db84474dea
ocaml(Fcl_domain) = d119e881f7ffcca9f1a9a5371eab54a2
ocaml(Fcl_expr) = e42058762e8a26ac6d4e5379b1852a44
ocaml(Fcl_fdArray) = 8a8ebd984359e02123515acb077e96e2
ocaml(Fcl_float) = 2e0e7df669644a1814ebba5f6d8c5958
ocaml(Fcl_gcc) = 70510e62508a1fe57f46b5065df4c945
ocaml(Fcl_genesis) = b7ed5297852208ab2c0c892b088cecc2
ocaml(Fcl_goals) = 859bcc3177c1a0c15f2aed6be0e2203a
ocaml(Fcl_interval) = d9fb2edd22893a156a4569418a6b1066
ocaml(Fcl_invariant) = b20b3a40b6887cc536bd858f9ed5f443
ocaml(Fcl_linear) = 7a5dbfe65a095d53f7af5df6bfd0fcc0
ocaml(Fcl_misc) = 537294553673f5beeee28921df3bce71
ocaml(Fcl_nonlinear) = 891f16f5297afb1487fb1ca7a1287d81
ocaml(Fcl_opti) = 6694e4357adffea08a8f4d2017cebd5b
ocaml(Fcl_reify) = 963ee19fe6d496c8d65c96948a2f43ab
ocaml(Fcl_setDomain) = cdf13a247645dca6ab96f61f0050ec1d
ocaml(Fcl_sorting) = faf24595cb9b395a38767e2dc37f5fd4
ocaml(Fcl_stak) = 45cd334566e646d1100d776d0926293e
ocaml(Fcl_var) = eaa33e0d7f47584fdc52bf23f0c11cae
ocaml(Stdlib) = 79b0e9d3b6f7fed07eb3cc2abb961b91
ocaml(Stdlib__Array) = 622d88fad859d0d0f019e691fc4fa865
ocaml(Stdlib__Buffer) = 4b09c9a6d0622bbf5a3829234b481822
ocaml(Stdlib__Either) = 26845df28d19584687a38a1ab814c3f9
ocaml(Stdlib__Hashtbl) = 34c0fdd524bf2a75e4d5af64a6d34401
ocaml(Stdlib__Int32) = a71ea5238030770647165f659f80b1ab
ocaml(Stdlib__Int64) = 0fa5587c47baf16a06837c7dedfc2518
ocaml(Stdlib__List) = ee222542f6f8195441543b8b399b64b9
ocaml(Stdlib__Nativeint) = 989149bf8f2ce1a89fecbc3f5f40f52c
ocaml(Stdlib__Pervasives) = dc77fedcffc67c0119b789c66d5ef7bf
ocaml(Stdlib__Printf) = bc8af6214197dc8f40eaa738a4cd6a28
ocaml(Stdlib__Random) = 81e43bab9bd47bab804eb6e582306de1
ocaml(Stdlib__Seq) = b63511032211eae4b567ba313cd72962
ocaml(Stdlib__Set) = 871d2ee2167ac9e7977fa13994cf4658
ocaml(Stdlib__String) = 097838f294457ecbb61ccbcf86cc6972
ocaml(Stdlib__Sys) = 7726a14ce36f5c6c3abb04975cec748b
ocaml(Stdlib__Uchar) = c0dde02a556a6d79e363ad365d165d57
ocaml(Stdlib__Weak) = 28f276c430fdc51a3a10691d3066b26a
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.29 MB
/usr/lib64/ocaml/facile/facile.cmi66.66 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