facile - Constraint programming library

Property Value
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.


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


Name Value
facile == 1.1-16.mga4
facile(x86-32) == 1.1-16.mga4


Type URL
Binary Package facile-1.1-16.mga4.i586.rpm
Source Package facile-1.1-16.mga4.src.rpm

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




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

See Also

Package Description
facter-1.7.3-2.mga4.noarch.rpm Ruby module for collecting simple facts about a host operating system
faenza-icon-theme-1.3.1-3.mga4.noarch.rpm Faenza icon theme
fail2ban-0.8.10-3.mga4.noarch.rpm Ban IP-addresses that result in too many password failures
fairymax-4.8-5.mga4.i586.rpm A XBoard compatible chess and chess-variant engine
fakechroot-2.16-6.mga4.i586.rpm Gives a fake chroot environment
fakeroot-1.20-2.mga4.i586.rpm Gives a fake root environment
faketime-0.9.5-1.mga4.i586.rpm Report faked system time to programs
fasterxml-oss-parent-11-3.mga4.noarch.rpm FasterXML parent pom
fastjar-0.98-7.mga4.i586.rpm Archive tool for Java archives
fastutil-6.5.9-2.mga4.noarch.rpm Fast & compact type-specific collections for Java
fastutil-javadoc-6.5.9-2.mga4.noarch.rpm Javadoc for fastutil
fatback-1.3-6.mga4.i586.rpm A forensic tool for recovering files from FAT file systems
fatpack-0.9.17-2.mga4.noarch.rpm Pack your dependencies onto your script file
fatsort-1.1.331-2.mga4.i586.rpm FAT sorter for FAT16 and FAT32 filesystems
fb2png-0.1-14.mga4.i586.rpm Take screenshots from the framebuffer