SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ocaml-facile rpm build for : Fedora 28. For other distributions click ocaml-facile.

Name : ocaml-facile
Version : 1.1 Vendor : Fedora Project
Release : 45.fc28 Date : 2017-11-18 01:06:33
Group : Unspecified Source RPM : ocaml-facile-1.1-45.fc28.src.rpm
Size : 1.20 MB
Packager : Fedora Project
Summary : OCaml library for constraint programming
Description :
FaCiLe 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.

RPM found in directory: /packages/linux-pbone/archive.fedoraproject.org/fedora/linux/releases/28/Everything/x86_64/os/Packages/o

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-facile-1.1-45.fc28.x86_64.rpm
     

Provides :
ocaml(Facile)
ocaml(Fcl_alldiff)
ocaml(Fcl_arith)
ocaml(Fcl_boolean)
ocaml(Fcl_conjunto)
ocaml(Fcl_cstr)
ocaml(Fcl_data)
ocaml(Fcl_debug)
ocaml(Fcl_domain)
ocaml(Fcl_expr)
ocaml(Fcl_fdArray)
ocaml(Fcl_float)
ocaml(Fcl_gcc)
ocaml(Fcl_genesis)
ocaml(Fcl_goals)
ocaml(Fcl_interval)
ocaml(Fcl_invariant)
ocaml(Fcl_linear)
ocaml(Fcl_misc)
ocaml(Fcl_nonlinear)
ocaml(Fcl_opti)
ocaml(Fcl_reify)
ocaml(Fcl_setDomain)
ocaml(Fcl_sorting)
ocaml(Fcl_stak)
ocaml(Fcl_var)
ocaml-facile
ocaml-facile(x86-64)

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


Content of RPM :
/usr/lib64/ocaml/facile
/usr/lib64/ocaml/facile/facile.cma
/usr/lib64/ocaml/facile/facile.cmi
/usr/share/doc/ocaml-facile
/usr/share/doc/ocaml-facile/LICENSE
/usr/share/doc/ocaml-facile/README

 
ICM