facile-1.1-3pclos2011.x86_64.rpm


Advertisement

Description

facile - Constraint programming library

Distribution: PCLinuxOS
Repository: PCLinuxOS x86_64
Package name: facile
Package version: 1.1
Package release: 3pclos2011
Package architecture: x86_64
Package type: rpm
Installed size: 1.97 MB
Download size: 1.97 MB
Official Mirror: ftp.nluug.nl
FaCiLe is a constraint programming library on integer and integer set finite domains written in OCaml.

Alternatives

Requires

  • ocaml
  • rpmlib(CompressedFileNames) <= 3.0.4-1
  • rpmlib(PayloadFilesHavePrefix) <= 4.0-1
  • rpmlib(PayloadIsLzma) <= 4.4.6-1

Provides

  • facile = 1.1-3pclos2011
  • facile(x86-64) = 1.1-3pclos2011

    Download

    Install Howto

    1. Enable PCLinuxOS x86_64 repository in /etc/apt/sources.list:
      rpm http://ftp.nluug.nl/pub/os/Linux/distr/pclinuxos/pclinuxos/apt/ pclinuxos/64bit x86_64
      
    2. Update the package index:
      # apt-get update
    3. Install facile rpm package:
      # apt-get install facile
    Advertisement
    Advertisement