Wed, 26 Jun 2024 23:04:59 UTC | login

Information for RPM ocaml-facile-1.1-52.fc31.riscv64.rpm

ID342806
Nameocaml-facile
Version1.1
Release52.fc31
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 Time2019-07-23 17:56:35 GMT
Size478.22 KB
3a5f00e8d5d1402f5e0458e5fa95aa07
LicenseLGPLv2+
Buildrootf31-build-47104-26762
Provides
ocaml(Facile) = d41c10ad61a5dd4b83f569332b6ef91a
ocaml(Fcl_alldiff) = 2128c43284d279e2e84fcb7cb3d2af19
ocaml(Fcl_arith) = 3eae85907290a2d84ca7113abd60e8fc
ocaml(Fcl_boolean) = c1de83d587b5f7408a635248b7aa9b29
ocaml(Fcl_conjunto) = add82b59208bc3bdc494c667140b3968
ocaml(Fcl_cstr) = 9426004c0da85f2b9935a2168dea4589
ocaml(Fcl_data) = 618e60b280130b46c39a24e4e06b0263
ocaml(Fcl_debug) = 134bcff81d6ecfa3dfc0555f10261b71
ocaml(Fcl_domain) = 35b16fa85667d014f90d13184a0e8f1b
ocaml(Fcl_expr) = ea7ec9a46b1c9d9a39e044a995c3bf8d
ocaml(Fcl_fdArray) = 8b4b1991596c263fdf7ae5b77d802008
ocaml(Fcl_float) = 08e6c71121d93dad64648960fabe7237
ocaml(Fcl_gcc) = d205fc4ae0dff05087b3b1569b88a661
ocaml(Fcl_genesis) = bc8837aa7346b4338493c9b778448da7
ocaml(Fcl_goals) = 2defacea2cd1c0fd3856c8f63dd11883
ocaml(Fcl_interval) = b2584a6739eec4230a3efb16d1946123
ocaml(Fcl_invariant) = 8ba7220689c0192a31bad18b485f8816
ocaml(Fcl_linear) = 551a255f618c0815ef130386dc62e8f1
ocaml(Fcl_misc) = 096298430779815d2787d63d94d4f0e5
ocaml(Fcl_nonlinear) = 2d5cc43bfe0e84477254e1bca20b26bb
ocaml(Fcl_opti) = 0c3cbc735a164ec2596c59caeeeeea9b
ocaml(Fcl_reify) = c55f11059c93282919234f974da53ec8
ocaml(Fcl_setDomain) = cb798340c504f39760279d54bb1c11e0
ocaml(Fcl_sorting) = 5a23331c70c45dfa7716571ad06d7fd7
ocaml(Fcl_stak) = 160f256719933d3af43ca8c15fb93913
ocaml(Fcl_var) = f6c2458872267de218e79c7691f537c4
ocaml-facile = 1.1-52.fc31
ocaml-facile(riscv-64) = 1.1-52.fc31
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(CamlinternalFormatBasics) = a2b1a9d869fd05813beb35645bd9cd94
ocaml(Stdlib) = ad45f251bbf98d3a0bf3b883546ecfc8
ocaml(Stdlib__array) = 8412db19ee2dd682a114d363bf147818
ocaml(Stdlib__buffer) = 35866fa9f82ad0886b2ccd0a86f2e1e6
ocaml(Stdlib__hashtbl) = 8a0f9b54a9d30b1aeff83f4bae88dfde
ocaml(Stdlib__int32) = 9de27084a784cd13eb5e5552ddbd6b4e
ocaml(Stdlib__int64) = 131e92719192bf020f99efe1afb0007c
ocaml(Stdlib__list) = cdcc178ba2d8de0d62892e1a68bd0cfe
ocaml(Stdlib__nativeint) = 1299f64d64f7c776695f30edab0d4d78
ocaml(Stdlib__pervasives) = ffb0eefbca3d14a1a48cbcb24e4eb181
ocaml(Stdlib__printf) = b72a44ed259e7034497028c0b31e9fa1
ocaml(Stdlib__random) = f5b2df0d5c2778d59a9e52c34ea4c5c0
ocaml(Stdlib__seq) = 359c95515bb2842e5ad1497a5b684136
ocaml(Stdlib__set) = 579516330b5c99c94e9cea433159c1ef
ocaml(Stdlib__string) = 89dc8c0e4f92ce704437ae3fafad684f
ocaml(Stdlib__sys) = 13aa7b95294684724e198467fb7c3467
ocaml(Stdlib__uchar) = db24a5ebd1625809ae883920f16c2526
ocaml(Stdlib__weak) = 13cb2546146b481a7b2d5ff8fef31bea
ocaml(runtime) = 4.08.0
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