facile-1.1-16.mga4.i586.rpm


Advertisement

Description

facile - Constraint programming library

Distribution: Mageia 4.1
Repository: Mageia Core i586
Package name: facile
Package version: 1.1
Package release: 16.mga4
Package architecture: i586
Package type: rpm
Installed size: 2.07 MB
Download size: 539.96 KB
Official Mirror: distrib-coffee.ipsl.jussieu.fr
FaCiLe is a constraint programming library on integer and integer set finite domains written in OCaml.

Alternatives

Provides

  • facile == 1.1-16.mga4
  • facile(x86-32) == 1.1-16.mga4

    Download

    Install Howto

    1. Enable Mageia Core repository on "Install and Remove Software"
    2. Update packages list:
      # urpmi.update -a
    3. Install facile rpm package:
      # urpmi facile

    Files

    • /usr/lib/ocaml/facile/facile.a
    • /usr/lib/ocaml/facile/facile.cma
    • /usr/lib/ocaml/facile/facile.cmi
    • /usr/lib/ocaml/facile/facile.cmxa
    • /usr/lib/ocaml/facile/facile.mli
    • /usr/lib/ocaml/facile/fcl_alldiff.mli
    • /usr/lib/ocaml/facile/fcl_arith.mli
    • /usr/lib/ocaml/facile/fcl_boolean.mli
    • /usr/lib/ocaml/facile/fcl_conjunto.mli
    • /usr/lib/ocaml/facile/fcl_cstr.mli
    • /usr/lib/ocaml/facile/fcl_data.mli
    • /usr/lib/ocaml/facile/fcl_debug.mli
    • /usr/lib/ocaml/facile/fcl_domain.mli
    • /usr/lib/ocaml/facile/fcl_expr.mli
    • /usr/lib/ocaml/facile/fcl_fdArray.mli
    • /usr/lib/ocaml/facile/fcl_float.mli
    • /usr/lib/ocaml/facile/fcl_gcc.mli
    • /usr/lib/ocaml/facile/fcl_genesis.mli
    • /usr/lib/ocaml/facile/fcl_goals.mli
    • /usr/lib/ocaml/facile/fcl_interval.mli
    • /usr/lib/ocaml/facile/fcl_invariant.mli
    • /usr/lib/ocaml/facile/fcl_linear.mli
    • /usr/lib/ocaml/facile/fcl_misc.mli
    • /usr/lib/ocaml/facile/fcl_nonlinear.mli
    • /usr/lib/ocaml/facile/fcl_opti.mli
    • /usr/lib/ocaml/facile/fcl_reify.mli
    • /usr/lib/ocaml/facile/fcl_setDomain.mli
    • /usr/lib/ocaml/facile/fcl_sorting.mli
    • /usr/lib/ocaml/facile/fcl_stak.mli
    • /usr/lib/ocaml/facile/fcl_var.mli
    • /usr/share/doc/facile/LICENSE
    • /usr/share/doc/facile/README

    Changelog

    2013-10-19 - umeabot <umeabot> 1.1-16.mga4 + Revision: 534799 - Mageia 4 Mass Rebuild

    2013-09-14 - lmenut <lmenut> 1.1-15.mga4 + Revision: 478897 - rebuild for new ocaml

    2013-01-11 - umeabot <umeabot> 1.1-14.mga3 + Revision: 350024 - Mass Rebuild - https://wiki.mageia.org/en/Feature:Mageia3MassRebuild

    2012-10-15 - malo <malo> 1.1-13.mga3 + Revision: 306713 - add patch for new ocaml-4.0 - simplify dependencies

    2011-10-02 - shlomif <shlomif> 1.1-12.mga2 + Revision: 151003 - Add check and changed the licence - thanks to Malo

    2011-10-02 - fwang <fwang> 1.1-11.mga2 + Revision: 150866 - rebuild for new oaml

    2011-01-22 - ahmad <ahmad> 1.1-10.mga1 + Revision: 33131 - imported package facile

    Advertisement
    Advertisement