Tue, 14 May 2024 01:52:10 UTC | login

Information for RPM ocaml-facile-1.1-45.fc28.riscv64.rpm

ID31717
Nameocaml-facile
Version1.1
Release45.fc28
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-02-25 20:27:24 GMT
Size439.81 KB
13b604cd480c8b43fa6e8ff57a9e2853
LicenseLGPLv2+
Provides
ocaml(Facile) = 61a52621f668df3a2615901b1f8e2c95
ocaml(Fcl_alldiff) = 18d1115d6abfb2eb3b4a0623d76390c3
ocaml(Fcl_arith) = 762ceea96597f6e6d54d742c8d80c23c
ocaml(Fcl_boolean) = 5bce5439dfb3577712ead87fd000743b
ocaml(Fcl_conjunto) = a2fea362f7799b88381d5fc9fff0c1cc
ocaml(Fcl_cstr) = 98b65160cee501692d6b1047ec36399d
ocaml(Fcl_data) = 44634acd6ff6d97a0312102c8f35ca13
ocaml(Fcl_debug) = c7dfaeccea12323f04e4770db093321e
ocaml(Fcl_domain) = aad2287c216a6ea5903f8bf7a713bbf0
ocaml(Fcl_expr) = af7e874eb452402b4bf76957ba5e5480
ocaml(Fcl_fdArray) = 83a5dab21888c69ea5a47777d3662fa8
ocaml(Fcl_float) = 4a5b48779dda3facc69cc3db61c72e51
ocaml(Fcl_gcc) = 1d0bf227e66d104347f342e724caae44
ocaml(Fcl_genesis) = 72919aa384bd97453a6aab14ff4412fe
ocaml(Fcl_goals) = d4387310f6beb48ce8689f5da289e4a0
ocaml(Fcl_interval) = fb1be88884c573f8048b393df32c3229
ocaml(Fcl_invariant) = 87d420538b9cc5aeb8028c033691c2b0
ocaml(Fcl_linear) = 35ffbfde6d574f9970198d251241af8a
ocaml(Fcl_misc) = 855142db9acd4b00a0222fb1cedc34fc
ocaml(Fcl_nonlinear) = 315efedde5587a62de29359d5f7ab75b
ocaml(Fcl_opti) = 889b5b0c74bd370c477d00ca660f66f0
ocaml(Fcl_reify) = 1d9d089baa056db737a001fa17294e7d
ocaml(Fcl_setDomain) = 40c75dd4c91d158f56afc4d805ce4cce
ocaml(Fcl_sorting) = 57b4275c24a729caa801413f25ebd8a6
ocaml(Fcl_stak) = 6ebe4af0c7dfae88f478e4c111bbca1d
ocaml(Fcl_var) = c53a249660a94a7492803c34448aa860
ocaml-facile = 1.1-45.fc28
ocaml-facile(riscv-64) = 1.1-45.fc28
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(Array) = 0fba23558da789bd0ef7ad786bdc90e6
ocaml(Buffer) = 9c9b3639d23d7746c571cdf04646eb29
ocaml(CamlinternalFormatBasics) = 79ae8c0eb753af6b441fe05456c7970b
ocaml(Hashtbl) = 0a88e320f172d3413ba0d5e0f9c70ccd
ocaml(Int32) = dbc028028ad4d59759d36dd6c0796919
ocaml(Int64) = f1c602b12ea723a45bbe6143f116a991
ocaml(List) = 7a6b1f92720df765cf38d67f920844fe
ocaml(Nativeint) = 7b210723c1ccafec90ff1578ad7e5996
ocaml(Pervasives) = 9b04ecdc97e5102c1d342892ef7ad9a2
ocaml(Printf) = e5dfd0ca6436c8abad976fc9e914999a
ocaml(Random) = ba6c32ae0bdeda05c187b523e94518fd
ocaml(Set) = 28a12def19edf36c317c30fafcc03d6d
ocaml(String) = e6a69bfe22781c3a43e5dc04b6d1728a
ocaml(Sys) = 3fe6d98e0634486be22d9de07aa0709a
ocaml(Uchar) = 596c497318b5c3057b47b9d6747ef5d1
ocaml(Weak) = a2706834b4d23daf7798bebbefb79ecb
ocaml(runtime) = 4.06.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.12 MB
/usr/lib64/ocaml/facile/facile.cmi61.38 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