ocaml-facile-1.1-5.fc10 RPM for x86_64

From Fedora Development for x86_64

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.

Provides

• ocaml-facile

Copyright

LGPLv2+

Signatures

internal MD5: 433c9fd6c82964badf1f12bec79f5853

GPG

Changelog

* Fri Aug 29 2008 Richard W.M. Jones <rjones@redhat.com> - 1.1-5
  - Rebuild with patch fuzz.
  - No need to create $RPM_BUILD_ROOT.
* Thu Apr 24 2008 Kevin Kofler <Kevin@tigcc.ticalc.org> - 1.1-3
  - rebuild for new ocaml (3.10.2)
* Fri Mar 21 2008 Kevin Kofler <Kevin@tigcc.ticalc.org> - 1.1-2.1
  - ExcludeArch: ppc64 on Fedora < 9 (no ocaml, #438562)
* Wed Mar 19 2008 Kevin Kofler <Kevin@tigcc.ticalc.org> - 1.1-2
  - use correct syntax for French description
* Wed Mar 19 2008 Kevin Kofler <Kevin@tigcc.ticalc.org> - 1.1-1
  - initial Fedora package

Files

˜~–


Generated by rpm2html 1.8.1

Daniel Veillard, Sat Nov 22 03:16:46 2008