facile-1.1-12-rosa2012.1.i586.rpm


Advertisement

Description

facile - Constraint programming library

Property Value
Distribution ROSA 2012.1
Repository ROSA Main i586
Package name facile
Package version 1.1
Package release 12-rosa2012.1
Package architecture i586
Package type rpm
Installed size 1.72 MB
Download size 465.48 KB
Official Mirror mirror.rosalab.ru
FaCiLe is a constraint programming library on integer and integer set finite
domains written in OCaml.

Alternatives

Package Version Architecture Repository
facile-1.1-12-rosa2012.1.x86_64.rpm 1.1 x86_64 ROSA Main
facile - - -

Requires

Name Value
ocaml -

Provides

Name Value
facile == 1.1-12:2012.1

Download

Type URL
Binary Package facile-1.1-12-rosa2012.1.i586.rpm
Source Package facile-1.1-12.src.rpm

Install Howto

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

Files

Path
/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

Changelog

2012-10-05 - Andrey Bondrov <andrey.bondrov@rosalab.ru>
+ Commit: 556cf1a
- Spec cleanup

See Also

Package Description
fakeroot-1.14.4-3-rosa2012.1.i586.rpm Gives a fake root environment
falcon-0.9.6.6-3-rosa2012.1.i586.rpm The Falcon Programming Language
falcon-devel-0.9.6.6-3-rosa2012.1.i586.rpm Development files for falcon
fastjar-0.98-9-rosa2012.1.i586.rpm Archive tool for Java archives
fb2png-0.1-16-rosa2012.1.i586.rpm Take screenshots from the framebuffer
fbcat-0.3-1-rosa2012.1.i586.rpm Framebuffer screenshot program
fbset-2.1-24-rosa2012.1.i586.rpm Framebuffer utilities for changing video modes
fbtv-3.102-1-rosa2012.1.i586.rpm A console program for watching TV
fdupes-1.50-0.PR2.3-rosa2012.1.i586.rpm Identify or delete duplicate files
fence-agents-3.0.17-5-rosa2012.1.i586.rpm Fencing agents for cluster suite
festival-2.1-3-rosa2012.1.i586.rpm A free speech synthesizer
festival-devel-2.1-3-rosa2012.1.i586.rpm Static libraries and headers for festival text to speech
festlex-CMU-1.4.3-10-rosa2012.1.noarch.rpm CMU dictionary in Festival form
festlex-POSLEX-1.4.3-10-rosa2012.1.noarch.rpm Festival Speech Lexicons for Engish
festvox-kallpc-common-1.4.3-10-rosa2012.1.noarch.rpm Festival Voice - American English male speaker (KAL) - Common
Advertisement
Advertisement