Sun, 05 May 2024 16:53:34 UTC | login

Information for RPM ocaml-facile-1.1-49.fc29.riscv64.rpm

ID255992
Nameocaml-facile
Version1.1
Release49.fc29
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 Time2018-08-25 08:05:01 GMT
Size450.69 KB
c7c503f2c2343b29cd92854a39e2242d
LicenseLGPLv2+
Buildrootf29-build-27830-14698
Provides
ocaml(Facile) = 6715c423ea6ba7b8ed86cb87af528af8
ocaml(Fcl_alldiff) = f651450a468360ba184ca414eb35ec16
ocaml(Fcl_arith) = d3749afd610a0fc95f774272a97bf0e8
ocaml(Fcl_boolean) = 1cf0f6c70677e7e488b411f1fbf009e8
ocaml(Fcl_conjunto) = 2ca81443a543e3b96cd91db98f7e26f3
ocaml(Fcl_cstr) = 4aa3fa9cf5b647cee3a6207ae2710033
ocaml(Fcl_data) = 1eb9dd16cb6f3493aace0c20605a3260
ocaml(Fcl_debug) = 29439d317ac0460dcfbd2bbc52844a9f
ocaml(Fcl_domain) = 96d71ab4106260a78b665b9bbe5eaf58
ocaml(Fcl_expr) = 4fd3d53f74113e48d90055a3718d28ad
ocaml(Fcl_fdArray) = 868f8b4d7b6461ac996247a275db1e77
ocaml(Fcl_float) = 7ac065862ac035edbf554d23648ddce6
ocaml(Fcl_gcc) = 3b4dc471a74eee2c65c6612d4dcc6c11
ocaml(Fcl_genesis) = 82769184a400c83ecd279d491c1f8371
ocaml(Fcl_goals) = fea9e9a665b7813bc7e524fdc8f2e588
ocaml(Fcl_interval) = bc4df7bdb0cf117a313c49874b51e16e
ocaml(Fcl_invariant) = 3c63f7cb5dc492d8d2be80967c0ff237
ocaml(Fcl_linear) = 63fc5a4c90b069a01e7d0092ffb9a0c5
ocaml(Fcl_misc) = 80a9e7cda87a1dbbb14bb1204e837d20
ocaml(Fcl_nonlinear) = 443670774c0b1d05e699265293412f12
ocaml(Fcl_opti) = e57ec0df111b1b9e184c5f9e18b5ae4e
ocaml(Fcl_reify) = 337851108d827a3084aefae3d68e1172
ocaml(Fcl_setDomain) = 8a0c7d370d0eeab04f9d63774f8bf0fd
ocaml(Fcl_sorting) = 4aa722160f503d178c5bf18dc68d52f8
ocaml(Fcl_stak) = c7c60515ea2b09e5743460a199a80952
ocaml(Fcl_var) = 2427a24e2d0ed4265866dc6d8b568372
ocaml-facile = 1.1-49.fc29
ocaml-facile(riscv-64) = 1.1-49.fc29
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(CamlinternalFormatBasics) = 7ea79e608e46b41c80c3251773e6fdf3
ocaml(Stdlib) = 2812fae09b173a42800ce3b48328b9cb
ocaml(Stdlib__array) = 8289b1b8bcdd29cc6a859bfa35d44a2e
ocaml(Stdlib__buffer) = 10853d28756c7121334e6b9e3e83e1ba
ocaml(Stdlib__hashtbl) = 682884027fa100c01983d89cfc4eaf69
ocaml(Stdlib__int32) = 78bd846191e02a88baa4e9a80ecf1cd6
ocaml(Stdlib__int64) = a454ce987e87f19475aaffc6390cdac3
ocaml(Stdlib__list) = 0c0f6e8daa075e845d18d212dd78098f
ocaml(Stdlib__nativeint) = b902bb985d2fe122694f9825a3a50cf5
ocaml(Stdlib__printf) = be9ae8643b5511d51db9c754b5ee4f74
ocaml(Stdlib__random) = 9e673e7e6fd158515a6d4ef4d5d75bc4
ocaml(Stdlib__seq) = 5c66a1fd18f6126043d7af46d32b4b53
ocaml(Stdlib__set) = ee3121b3672ab195758de1ce2e925022
ocaml(Stdlib__string) = da1db0058f6dfb66ed4d85c353dc9306
ocaml(Stdlib__sys) = 173c21e20f3d44e9b4f52694fd5addb3
ocaml(Stdlib__uchar) = 786699188e2f8c1fe32eb8363cd7655a
ocaml(Stdlib__weak) = 0007b990f6fe2b9a0c07c3b3603e4a6f
ocaml(runtime) = 4.07.0
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsXz) <= 5.2-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.18 MB
/usr/lib64/ocaml/facile/facile.cmi63.96 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 1 of 1
Buildroot descending sort Created State
f29-build-28318-15165 2018-08-28 09:30:55 expired