SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG
DONATE




YUM REPOSITORY

 
 

ocaml-facile rpm build for : Mandriva 2011. For other distributions click ocaml-facile.

Name : ocaml-facile
Version : 1.1 Vendor : Mandriva
Release : 2mdv2011.0 Date : 2010-10-06 06:49:19
Group : Development/Other Source RPM : ocaml-facile-1.1-2mdv2011.0.src.rpm
Size : 1.08 MB
Packager : Funda Wang < fwang_mandriva_org>
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: /mirror/carroll.cac.psu.edu/pub/linux/distributions/mandrakelinux/official/2011/i586/media/contrib/release

Content of RPM  Changelog  Provides Requires

Download
ftp.gwdg.de  ocaml-facile-1.1-2mdv2011.0.i586.rpm
ftp.gwdg.de  ocaml-facile-1.1-2mdv2011.0.i586.rpm
bo.mirror.garr.it  ocaml-facile-1.1-2mdv2011.0.i586.rpm
ftp.icm.edu.pl  ocaml-facile-1.1-2mdv2011.0.i586.rpm
ftp.icm.edu.pl  ocaml-facile-1.1-2mdv2011.0.i586.rpm
ftp.pbone.net  ocaml-facile-1.1-2mdv2011.0.i586.rpm
     Search for other platforms
ocaml-facile-1.1-2mdv2011.0.sparc.rpm
ocaml-facile-1.1-2mdv2011.0.alpha.rpm
ocaml-facile-1.1-2mdv2011.0.ppc.rpm
ocaml-facile-1.1-2mdv2011.0.ia64.rpm
ocaml-facile-1.1-2mdv2011.0.s390.rpm

Provides :
ocaml-facile
ocaml-facile(x86-32)

Requires :
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsLzma) <= 4.4.6-1
ocaml = 3.12.0


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