ocaml-facile-1.1-16.mga7.i586.rpm


Advertisement

Description

ocaml-facile - OCaml library for constraint programming

Property Value
Distribution Mageia 7
Repository Mageia Core i586
Package filename ocaml-facile-1.1-16.mga7.i586.rpm
Package name ocaml-facile
Package version 1.1
Package release 16.mga7
Package architecture i586
Package type rpm
Category Development/OCaml
Homepage http://www.recherche.enac.fr/opti/facile/
License LGPL
Maintainer -
Download size 393.89 KB
Installed size 1.24 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.

Alternatives

Package Version Architecture Repository
ocaml-facile-1.1-16.mga7.x86_64.rpm 1.1 x86_64 Mageia Core
ocaml-facile - - -

Requires

Name Value
ocaml(CamlinternalFormatBasics) = e065a8b8027a7269fbe69420861f3140
ocaml(Stdlib) = 785bc4357cd198defc8f1d3d8a46bf31
ocaml(Stdlib__array) = f10b61e53267652b8823075c289eff0e
ocaml(Stdlib__buffer) = 47741a304c36252fb0d02df4002cd45b
ocaml(Stdlib__hashtbl) = 604c8339f788853d04a57b7015e3ab28
ocaml(Stdlib__int32) = 9face80aef14e72b91da5c1a7ef42376
ocaml(Stdlib__int64) = 678dd94a831e040b9d89ed6046dca2a3
ocaml(Stdlib__list) = 6ac77ba2b0170f6297044c5028e5a32c
ocaml(Stdlib__nativeint) = 9ed286c714ad64f5aea2904e599e0416
ocaml(Stdlib__printf) = 1e129649940609c444244e9f06f0be2e
ocaml(Stdlib__random) = 723e24b742987d757fa59507f4b45936
ocaml(Stdlib__seq) = 5714d5da4a2ed04debb615c21e61bad9
ocaml(Stdlib__set) = a52672326ca391bcc902a00841479c39
ocaml(Stdlib__string) = cf3a35a636b40f4dfa3c7f93ef2f2d33
ocaml(Stdlib__sys) = 083703b1bc3524a4912f1c97b4d508f4
ocaml(Stdlib__uchar) = 6d473d0370eac1a310ce126c25d7883a
ocaml(Stdlib__weak) = 68728c2d0ffeb52c81b6af75484ff4c3
ocaml(runtime) = 4.07.1

Provides

Name Value
ocaml(Facile) = d3cda93797c9b3629db4dc8a6ebe1244
ocaml(Fcl_alldiff) = 631c4d969b6865c4ab022b47f6f55b50
ocaml(Fcl_arith) = eb4a3288f7aebc6a2ed2c5f8bcfd080b
ocaml(Fcl_boolean) = f09c6c2a232c4ee6dbe4649063c2cac3
ocaml(Fcl_conjunto) = 1ed79668ad6aee640c32a6a5431ab5d9
ocaml(Fcl_cstr) = 7e1f32cc7b8ba36a2572f31af19322c5
ocaml(Fcl_data) = 10cfefba67d77512f0f0510d6b0d7c1c
ocaml(Fcl_debug) = 82f8a60ca9c369413093d18b7853bcff
ocaml(Fcl_domain) = e4d77c94a431e62a117dbd554cfaed3d
ocaml(Fcl_expr) = 0db202cb238de0e04f54fc417778f29b
ocaml(Fcl_fdArray) = ca31f0c9605de1dd8a185b8a3e48b1fc
ocaml(Fcl_float) = 68eabd0c98967f1ff4be1ee4f56f908b
ocaml(Fcl_gcc) = f4a168c52960587f04ee89c0801b7f56
ocaml(Fcl_genesis) = cd06cf66cbf1d497377262656ca43468
ocaml(Fcl_goals) = 080c01a727edf88d3067c65d2ca8991b
ocaml(Fcl_interval) = 7f28e48ed47088d3714006f750973484
ocaml(Fcl_invariant) = 5c2eab079cb05174ef308d6344a88ae4
ocaml(Fcl_linear) = a796a15b2dd93e8227cd5d03e78dd1b7
ocaml(Fcl_misc) = 3631894a85cef3ca675fa0725f1d131c
ocaml(Fcl_nonlinear) = 1bda3cf7abde5b142ebf5c51dcb86687
ocaml(Fcl_opti) = ec986ccd705f2f6f3ea5ddba874581bc
ocaml(Fcl_reify) = e8bc9ac5e6e321fef48d023d541a3085
ocaml(Fcl_setDomain) = 492ab8cd1f2b15af469e4787c15a30a9
ocaml(Fcl_sorting) = a3dc4b61e307622c76c00c9a956af54b
ocaml(Fcl_stak) = 9e208424d821bf4eda268ffb1a5b1b24
ocaml(Fcl_var) = ee887bea08608d85ff67a2ad60be3f8c
ocaml-facile = 1.1-16.mga7
ocaml-facile(x86-32) = 1.1-16.mga7

Download

Type URL
Mirror distrib-coffee.ipsl.jussieu.fr
Binary Package ocaml-facile-1.1-16.mga7.i586.rpm
Source Package ocaml-facile-1.1-16.mga7.src.rpm

Install Howto

  1. Enable the repository in Software Management
  2. Install ocaml-facile rpm package:
    # dnf --refresh install ocaml-facile

Files

Path
/usr/lib/ocaml/facile/META
/usr/lib/ocaml/facile/facile.cma
/usr/lib/ocaml/facile/facile.cmi
/usr/share/doc/ocaml-facile/LICENSE
/usr/share/doc/ocaml-facile/README

Changelog

2018-10-23 - tv <tv> 1.1-16.mga7
+ Revision: 1324046
- rebuild with ocaml-4.07.1
2018-10-22 - pterjan <pterjan> 1.1-15.mga7
+ Revision: 1323735
- Rebuild for ocaml 4.07
2018-09-23 - umeabot <umeabot> 1.1-14.mga7
+ Revision: 1299868
- Mageia 7 Mass Rebuild
2017-11-26 - tv <tv> 1.1-13.mga7
+ Revision: 1179508
- rebuild for new ocaml
2016-11-24 - neoclust <neoclust> 1.1-12.mga6
+ Revision: 1069798
- Rebuild against fixed ocaml

See Also

Package Description
ocaml-facile-devel-1.1-16.mga7.i586.rpm Development files for ocaml-facile
ocaml-facile-doc-1.1-16.mga7.noarch.rpm Documentation for ocaml-facile
ocaml-fieldslib-0.11.0-1.mga7.i586.rpm Folding over record fields
ocaml-fieldslib-devel-0.11.0-1.mga7.i586.rpm Development files for ocaml-fieldslib
ocaml-fileutils-0.5.3-3.mga7.i586.rpm OCaml library for common file and filename operations
ocaml-fileutils-devel-0.5.3-3.mga7.i586.rpm Development files for ocaml-fileutils
ocaml-findlib-1.8.0-4.mga7.i586.rpm A module packaging tool for OCaml
ocaml-findlib-devel-1.8.0-4.mga7.i586.rpm Development files for ocaml-findlib
ocaml-flac-0.1.3-3.mga7.i586.rpm OCaml interface for FLAC (Free Lossless Audio Codec)
ocaml-flac-devel-0.1.3-3.mga7.i586.rpm Development files for ocaml-flac
ocaml-gavl-0.1.5-10.mga7.i586.rpm OCaml interface to gavl
ocaml-gavl-devel-0.1.5-10.mga7.i586.rpm Development files for ocaml-gavl
ocaml-gen-0.5.1-4.mga7.i586.rpm Simple, efficient iterators for OCaml
ocaml-gen-devel-0.5.1-4.mga7.i586.rpm Development files for ocaml-gen
ocaml-getopt-20120615-11.mga7.i586.rpm Command line parsing a la GNU getopt
Advertisement
Advertisement