ocaml-facile - OCaml library for constraint programming

Property Value
Distribution CentOS 6
Repository Open Fusion x86_64
Package filename ocaml-facile-1.1-12.of.el6.x86_64.rpm
Package name ocaml-facile
Package version 1.1
Package release 12.of.el6
Package architecture x86_64
Package type rpm
Category Development/Libraries
Homepage http://www.recherche.enac.fr/log/facile/
License LGPLv2+
Maintainer -
Download size 386.77 KB
Installed size 1.08 MB
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.


Package Version Architecture Repository
ocaml-facile-1.1-12.of.el6.i686.rpm 1.1 i686 Open Fusion
ocaml-facile-1.1-12.el6.x86_64.rpm 1.1 x86_64 Open Fusion
ocaml-facile-1.1-12.el6.x86_64.rpm 1.1 x86_64 NauLinux School
ocaml-facile-1.1-12.el6.i686.rpm 1.1 i686 NauLinux School
ocaml-facile - - -


Name Value
ocaml(Array) = 9c9fa5f11e2d6992c427dde4d1168489
ocaml(Buffer) = 0ce5de86183a833ed112488a1e6d281d
ocaml(Hashtbl) = ee2a3220e38a4350c5bc131ce9f3f6ce
ocaml(Int32) = b2545c419b6b6a173cac4c0a3e7e0277
ocaml(Int64) = d501d6e89fdce41c79f274fb464995d5
ocaml(List) = a0e2e49d266ff302f8667651a43f71ba
ocaml(Nativeint) = 7233ce5207a538fea4f0c61ed411ea2c
ocaml(Obj) = 57b3fe2fcfe45ee25709b8ae556264d1
ocaml(Pervasives) = 88cb1505c8bdf9a4dcd2cdf3452732b4
ocaml(Printf) = 807ecd3a1538992580464c03462c9964
ocaml(Random) = 462fc826fd1ae9df8d15e3cb798cba9d
ocaml(Set) = c4be5d24d30c129dd60d2739e54db7dd
ocaml(String) = ecc403546c1c50056801131811c39017
ocaml(Sys) = 21bf525b2b3f3a46a54b96163adfe387
ocaml(Weak) = aada27147107868937e9d245df90602d
ocaml(runtime) = 3.11.2


Name Value
ocaml(Facile) = 3bc8339e859cf0900298652db14360f0
ocaml(Fcl_alldiff) = 9696b802e25606fc34f6fed5c3b9bd4d
ocaml(Fcl_arith) = c52e9c6eb4c32f0960c96a4faad1c171
ocaml(Fcl_boolean) = 33ce3188b1c5a8bea0200b2b9e408717
ocaml(Fcl_conjunto) = a4dc6708f33e3a337a496c6e1986aa84
ocaml(Fcl_cstr) = d30f550db4cc0f897cc2b8cc8d89f066
ocaml(Fcl_data) = e016e9aa5ef5ebe49cd6ec25317f1a52
ocaml(Fcl_debug) = 022dea646fc780d687ea0f3ebbc35dc0
ocaml(Fcl_domain) = 2d17e1112a77d5bf908ae947b6d192a2
ocaml(Fcl_expr) = 1f2edb7b8d052887c98ab51464830abe
ocaml(Fcl_fdArray) = 6442769c83b5d0c6ec78657c024daeec
ocaml(Fcl_float) = 27f51d9ae4db9a321c92f22b5242c040
ocaml(Fcl_gcc) = 98eb2a87ec3bafcb67a0141e0765349d
ocaml(Fcl_genesis) = c4d96320d0d4386eb3ac4d241a96348b
ocaml(Fcl_goals) = 0e5ffb231c513c3c10e897148134062a
ocaml(Fcl_interval) = fc24a2305b262a1369548189367eae4d
ocaml(Fcl_invariant) = 8f5ec22eabdd21b298a1b9a5fa1d79ea
ocaml(Fcl_linear) = a2bc77fffa1c4ab893c4a9eb70e51665
ocaml(Fcl_misc) = e582d995055ecc5a2e5c3331fe7db46d
ocaml(Fcl_nonlinear) = bb30abe5453663af0bcaa567f00241f8
ocaml(Fcl_opti) = 1153037aaa6e7a3b73ee7eea77d68c80
ocaml(Fcl_reify) = 7f91f0fcbb1c7906045c1ef492f36924
ocaml(Fcl_setDomain) = b629d915fa1d9939ba66d56cd6498dbf
ocaml(Fcl_sorting) = 73e6984f1e841530f6b6506b7850a5c4
ocaml(Fcl_stak) = 267e70fc1f274d7e8dfa3a596bb42fc6
ocaml(Fcl_var) = 97b8430753cffa2ff7cd60694ec596b9
ocaml-facile = 1.1-12.of.el6
ocaml-facile(x86-64) = 1.1-12.of.el6


Type URL
Mirror repo.openfusion.net
Binary Package ocaml-facile-1.1-12.of.el6.x86_64.rpm
Source Package ocaml-facile-1.1-12.of.el6.src.rpm

Install Howto

  1. Download latest openfusion-release rpm from
  2. Install openfusion-release rpm:
    # rpm -Uvh openfusion-release*rpm
  3. Install ocaml-facile rpm package:
    # yum install ocaml-facile




2009-12-30 - Richard W.M. Jones <rjones@redhat.com> - 1.1-12
- Rebuild for OCaml 3.11.2.
2009-12-17 - Kevin Kofler <Kevin@tigcc.ticalc.org> - 1.1-11
- Use RPM's builtin OCaml dependency generator on F13+
2009-07-25 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.1-10
- Rebuilt for https://fedoraproject.org/wiki/Fedora_12_Mass_Rebuild
2009-05-22 - Kevin Kofler <Kevin@tigcc.ticalc.org> - 1.1-9
- Rebuild for new OCaml (3.11.1 rc0)
2009-04-16 - S390x secondary arch maintainer <fedora-s390x@lists.fedoraproject.org>
- ExcludeArch sparc64, s390, s390x as we don't have OCaml on those archs
(added sparc64 per request from the sparc maintainer)
2009-02-25 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.1-8
- Rebuilt for https://fedoraproject.org/wiki/Fedora_11_Mass_Rebuild
2008-11-26 - Richard W.M. Jones <rjones@redhat.com> - 1.1-7
- Rebuild for OCaml 3.11.0+rc1.
2008-11-25 - Kevin Kofler <Kevin@tigcc.ticalc.org> - 1.1-6
- rebuild for new ocaml (3.11.0 beta1)
2008-08-28 - Richard W.M. Jones <rjones@redhat.com> - 1.1-5
- Rebuild with patch fuzz.
- No need to create $RPM_BUILD_ROOT.
2008-04-23 - Kevin Kofler <Kevin@tigcc.ticalc.org> - 1.1-3
- rebuild for new ocaml (3.10.2)

See Also

Package Description
ocaml-facile-devel-1.1-12.el6.x86_64.rpm Development files for ocaml-facile
ocaml-facile-devel-1.1-12.of.el6.x86_64.rpm Development files for ocaml-facile
openfusion-release-0.5-1.of.el6.noarch.rpm Open Fusion yum repository configuration
openfusion-release-0.6-1.of.el6.noarch.rpm Open Fusion yum repository configuration
openfusion-release-0.6.1-1.of.el6.noarch.rpm Open Fusion yum repository configuration
openfusion-release-0.6.2-1.of.el6.noarch.rpm Open Fusion yum repository configuration
openfusion-release-0.7-1.of.el6.noarch.rpm Open Fusion yum repository configuration
parallel-20120522-1.of.el6.x86_64.rpm A shell tool for executing jobs in parallel locally/remotely
parallel-20120622-1.of.el6.x86_64.rpm A shell tool for executing jobs in parallel locally/remotely
parallel-20131222-1.of.el6.x86_64.rpm A shell tool for executing jobs in parallel locally/remotely
parallel-20140822-1.of.el6.x86_64.rpm A shell tool for executing jobs in parallel locally/remotely
parallel-20160622-1.of.el6.x86_64.rpm A shell tool for executing jobs in parallel locally/remotely
parallel-20170522-1.of.el6.x86_64.rpm A shell tool for executing jobs in parallel locally/remotely
parchment-20120901-1.of.el6.noarch.rpm A web interactive fiction interpreter powered by the Gnusto and Quixe engines
perl-AI-DecisionTree-0.11-1.of.el6.x86_64.rpm Automatically Learns Decision Trees