SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

ocaml-facile rpm build for : OpenSuSE 12.X. For other distributions click ocaml-facile.

Name : ocaml-facile
Version : 1.1 Vendor : obs://build_opensuse_org/home:Podeiko
Release : 363.1 Date : 2018-08-24 15:41:07
Group : Development/Libraries/Other Source RPM : ocaml-facile-1.1-363.1.src.rpm
Size : 1.62 MB
Packager : (none)
Summary : Ocaml Constraint Programming Library
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 as well allows you 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, a 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/ftp5.gwdg.de/pub/opensuse/repositories/home:/Podeiko:/KDE:/Release:/49/openSUSE_12.1/i586

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  ocaml-facile-1.1-363.1.i586.rpm
     Search for other platforms
ocaml-facile-1.1-363.1.sparc.rpm
ocaml-facile-1.1-363.1.alpha.rpm
ocaml-facile-1.1-363.1.ppc.rpm
ocaml-facile-1.1-363.1.ia64.rpm
ocaml-facile-1.1-363.1.s390.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-32)

Requires :
ocaml(Random) = eb46746227016f42f03af00544772d98
ocaml(Printf) = 55250c391e05a095d3696890d0d554a2
ocaml(List) = 9c85fb419d52a8fd876c84784374e0cf
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
ocaml(Weak) = f9e53791afaf51c7d247f9487709f695
ocaml(Pervasives) = db723a1798b122e08919a2bfed062514
ocaml(Buffer) = 40bf652f22a33a7cfa05ee1dd5e0d7e4
ocaml(Int64) = 8f09e1331fe8af2d7b954585551cbe4f
rpmlib(CompressedFileNames) <= 3.0.4-1
ocaml(Nativeint) = 409308ec9d1a2ab99fa91fd0dfefca97
rpmlib(PayloadIsLzma) <= 4.4.6-1
ocaml(runtime) = 3.12.0
ocaml(Set) = 7b178c9cf52b5cb8145441e1a0d309f5
ocaml(Hashtbl) = 9c86f7320512d6740a75017fd66156a8
ocaml(Array) = 720848e0b508273805ef38d884a57618
ocaml(Int32) = c91c0bbb9f7670b10cdc0f2dcc57c5f9
ocaml(Sys) = 4fe60c54d4de0672924c1d4ee2053e46
ocaml(String) = 06ab5e6944c47322b9d305c0aa0b07ff
ocaml(Obj) = 3aeb33d11433c95bb62053c65665eb76


Content of RPM :
/usr/lib/ocaml/facile
/usr/lib/ocaml/facile/facile.a
/usr/lib/ocaml/facile/facile.cma
/usr/lib/ocaml/facile/facile.cmi
/usr/lib/ocaml/facile/facile.cmxa

 
ICM