Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help

The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...

The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.

System Arch

RPM resource ocaml-facile

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.

Found 3 sites for ocaml-facile

Found 70 RPM for ocaml-facile

PackageSummaryDistributionDownload
ocaml-facile-1.1.4-2.5.aarch64.htmlOcaml Constraint Programming LibraryOpenSuSE Ports Tumbleweed for aarch64ocaml-facile-1.1.4-2.5.aarch64.rpm
ocaml-facile-1.1.4-2.5.armv6hl.htmlOcaml Constraint Programming LibraryOpenSuSE Ports Tumbleweed for armv6hlocaml-facile-1.1.4-2.5.armv6hl.rpm
ocaml-facile-1.1.4-2.5.armv7hl.htmlOcaml Constraint Programming LibraryOpenSuSE Ports Tumbleweed for armv7hlocaml-facile-1.1.4-2.5.armv7hl.rpm
ocaml-facile-1.1.4-2.4.i586.htmlOcaml Constraint Programming LibraryOpenSuSE Tumbleweed for i586ocaml-facile-1.1.4-2.4.i586.rpm
ocaml-facile-1.1.4-2.4.s390x.htmlOcaml Constraint Programming LibraryOpenSuSE Ports Tumbleweed for s390xocaml-facile-1.1.4-2.4.s390x.rpm
ocaml-facile-1.1.4-2.4.x86_64.htmlOcaml Constraint Programming LibraryOpenSuSE Tumbleweed for x86_64ocaml-facile-1.1.4-2.4.x86_64.rpm
ocaml-facile-1.1.4-2.2.riscv64.htmlOcaml Constraint Programming LibraryOpenSuSE Ports Tumbleweed for riscv64ocaml-facile-1.1.4-2.2.riscv64.rpm
ocaml-facile-1.1.4-1.13.ppc64.htmlOcaml Constraint Programming LibraryOpenSuSE Ports Tumbleweed for ppc64ocaml-facile-1.1.4-1.13.ppc64.rpm
ocaml-facile-1.1.4-1.13.ppc64le.htmlOcaml Constraint Programming LibraryOpenSuSE Ports Tumbleweed for ppc64leocaml-facile-1.1.4-1.13.ppc64le.rpm
ocaml-facile-1.1.4-bp154.1.24.aarch64.htmlOcaml Constraint Programming LibraryOpenSuSE Leap 15.4 for aarch64ocaml-facile-1.1.4-bp154.1.24.aarch64.rpm
ocaml-facile-1.1.4-bp154.1.24.ppc64le.htmlOcaml Constraint Programming LibraryOpenSuSE Leap 15.4 for ppc64leocaml-facile-1.1.4-bp154.1.24.ppc64le.rpm
ocaml-facile-1.1.4-bp154.1.24.s390x.htmlOcaml Constraint Programming LibraryOpenSuSE Leap 15.4 for s390xocaml-facile-1.1.4-bp154.1.24.s390x.rpm
ocaml-facile-1.1.4-bp154.1.24.x86_64.htmlOcaml Constraint Programming LibraryOpenSuSE Leap 15.4 for x86_64ocaml-facile-1.1.4-bp154.1.24.x86_64.rpm
ocaml-facile-1.1.4-bp154.1.1.armv7hl.htmlOcaml Constraint Programming LibraryOpenSuSE Ports Leap 15.4 for armv7hlocaml-facile-1.1.4-bp154.1.1.armv7hl.rpm
ocaml-facile-1.1-73.fc36.aarch64.htmlOCaml library for constraint programmingFedora Rawhide for aarch64ocaml-facile-1.1-73.fc36.aarch64.rpm
ocaml-facile-1.1-73.fc36.aarch64.htmlOCaml library for constraint programmingFedora 36 for aarch64ocaml-facile-1.1-73.fc36.aarch64.rpm
ocaml-facile-1.1-73.fc36.armv7hl.htmlOCaml library for constraint programmingFedora 36 for armhfpocaml-facile-1.1-73.fc36.armv7hl.rpm
ocaml-facile-1.1-73.fc36.ppc64le.htmlOCaml library for constraint programmingFedora Rawhide for ppc64leocaml-facile-1.1-73.fc36.ppc64le.rpm
ocaml-facile-1.1-73.fc36.ppc64le.htmlOCaml library for constraint programmingFedora 36 for ppc64leocaml-facile-1.1-73.fc36.ppc64le.rpm
ocaml-facile-1.1-73.fc36.s390x.htmlOCaml library for constraint programmingFedora Rawhide for s390xocaml-facile-1.1-73.fc36.s390x.rpm
ocaml-facile-1.1-73.fc36.s390x.htmlOCaml library for constraint programmingFedora 36 for s390xocaml-facile-1.1-73.fc36.s390x.rpm
ocaml-facile-1.1-73.fc36.x86_64.htmlOCaml library for constraint programmingFedora Rawhide for x86_64ocaml-facile-1.1-73.fc36.x86_64.rpm
ocaml-facile-1.1-73.fc36.x86_64.htmlOCaml library for constraint programmingFedora 36 for x86_64ocaml-facile-1.1-73.fc36.x86_64.rpm
ocaml-facile-1.1-70.fc35.aarch64.htmlOCaml library for constraint programmingFedora 35 for aarch64ocaml-facile-1.1-70.fc35.aarch64.rpm
ocaml-facile-1.1-70.fc35.armv7hl.htmlOCaml library for constraint programmingFedora 35 for armhfpocaml-facile-1.1-70.fc35.armv7hl.rpm
ocaml-facile-1.1-70.fc35.ppc64le.htmlOCaml library for constraint programmingFedora 35 for ppc64leocaml-facile-1.1-70.fc35.ppc64le.rpm
ocaml-facile-1.1-70.fc35.s390x.htmlOCaml library for constraint programmingFedora 35 for s390xocaml-facile-1.1-70.fc35.s390x.rpm
ocaml-facile-1.1-70.fc35.x86_64.htmlOCaml library for constraint programmingFedora 35 for x86_64ocaml-facile-1.1-70.fc35.x86_64.rpm
ocaml-facile-1.1-68.fc34.aarch64.htmlOCaml library for constraint programmingFedora 34 for aarch64ocaml-facile-1.1-68.fc34.aarch64.rpm
ocaml-facile-1.1-68.fc34.armv7hl.htmlOCaml library for constraint programmingFedora 34 for armhfpocaml-facile-1.1-68.fc34.armv7hl.rpm
ocaml-facile-1.1-68.fc34.ppc64le.htmlOCaml library for constraint programmingFedora 34 for ppc64leocaml-facile-1.1-68.fc34.ppc64le.rpm
ocaml-facile-1.1-68.fc34.s390x.htmlOCaml library for constraint programmingFedora 34 for s390xocaml-facile-1.1-68.fc34.s390x.rpm
ocaml-facile-1.1-68.fc34.x86_64.htmlOCaml library for constraint programmingFedora 34 for x86_64ocaml-facile-1.1-68.fc34.x86_64.rpm
ocaml-facile-1.1-67.fc33.1.aarch64.htmlOCaml library for constraint programmingFedora 33 testing updates for aarch64ocaml-facile-1.1-67.fc33.1.aarch64.rpm
ocaml-facile-1.1-67.fc33.1.aarch64.htmlOCaml library for constraint programmingFedora 33 for aarch64ocaml-facile-1.1-67.fc33.1.aarch64.rpm
ocaml-facile-1.1-67.fc33.1.armv7hl.htmlOCaml library for constraint programmingFedora 33 testing updates for armhfpocaml-facile-1.1-67.fc33.1.armv7hl.rpm
ocaml-facile-1.1-67.fc33.1.armv7hl.htmlOCaml library for constraint programmingFedora 33 for armhfpocaml-facile-1.1-67.fc33.1.armv7hl.rpm
ocaml-facile-1.1-67.fc33.1.ppc64le.htmlOCaml library for constraint programmingFedora 33 for ppc64leocaml-facile-1.1-67.fc33.1.ppc64le.rpm
ocaml-facile-1.1-67.fc33.1.s390x.htmlOCaml library for constraint programmingFedora 33 for s390xocaml-facile-1.1-67.fc33.1.s390x.rpm
ocaml-facile-1.1-67.fc33.1.x86_64.htmlOCaml library for constraint programmingFedora 33 testing updates for x86_64ocaml-facile-1.1-67.fc33.1.x86_64.rpm
ocaml-facile-1.1-67.fc33.1.x86_64.htmlOCaml library for constraint programmingFedora 33 for x86_64ocaml-facile-1.1-67.fc33.1.x86_64.rpm
ocaml-facile-1.1-60.fc32.1.aarch64.htmlOCaml library for constraint programmingFedora 32 testing updates for aarch64ocaml-facile-1.1-60.fc32.1.aarch64.rpm
ocaml-facile-1.1-60.fc32.1.aarch64.htmlOCaml library for constraint programmingFedora 32 for aarch64ocaml-facile-1.1-60.fc32.1.aarch64.rpm
ocaml-facile-1.1-60.fc32.1.armv7hl.htmlOCaml library for constraint programmingFedora 32 testing updates for armhfpocaml-facile-1.1-60.fc32.1.armv7hl.rpm
ocaml-facile-1.1-60.fc32.1.armv7hl.htmlOCaml library for constraint programmingFedora 32 for armhfpocaml-facile-1.1-60.fc32.1.armv7hl.rpm
ocaml-facile-1.1-60.fc32.1.ppc64le.htmlOCaml library for constraint programmingFedora 32 for ppc64leocaml-facile-1.1-60.fc32.1.ppc64le.rpm
ocaml-facile-1.1-60.fc32.1.s390x.htmlOCaml library for constraint programmingFedora 32 for s390xocaml-facile-1.1-60.fc32.1.s390x.rpm
ocaml-facile-1.1-60.fc32.1.x86_64.htmlOCaml library for constraint programmingFedora 32 testing updates for x86_64ocaml-facile-1.1-60.fc32.1.x86_64.rpm
ocaml-facile-1.1-60.fc32.1.x86_64.htmlOCaml library for constraint programmingFedora 32 for x86_64ocaml-facile-1.1-60.fc32.1.x86_64.rpm
ocaml-facile-1.1-23.mga9.aarch64.htmlOCaml library for constraint programmingMageia Cauldron for aarch64ocaml-facile-1.1-23.mga9.aarch64.rpm
ocaml-facile-1.1-23.mga9.armv7hl.htmlOCaml library for constraint programmingMageia Cauldron for armv7hlocaml-facile-1.1-23.mga9.armv7hl.rpm
ocaml-facile-1.1-23.mga9.i586.htmlOCaml library for constraint programmingMageia Cauldron for i586ocaml-facile-1.1-23.mga9.i586.rpm
ocaml-facile-1.1-23.mga9.x86_64.htmlOCaml library for constraint programmingMageia Cauldron for x86_64ocaml-facile-1.1-23.mga9.x86_64.rpm
ocaml-facile-1.1-19.mga8.aarch64.htmlOCaml library for constraint programmingMageia 8 for aarch64ocaml-facile-1.1-19.mga8.aarch64.rpm
ocaml-facile-1.1-19.mga8.armv7hl.htmlOCaml library for constraint programmingMageia 8 for armv7hlocaml-facile-1.1-19.mga8.armv7hl.rpm
ocaml-facile-1.1-19.mga8.i586.htmlOCaml library for constraint programmingMageia 8 for i586ocaml-facile-1.1-19.mga8.i586.rpm
ocaml-facile-1.1-19.mga8.x86_64.htmlOCaml library for constraint programmingMageia 8 for x86_64ocaml-facile-1.1-19.mga8.x86_64.rpm
ocaml-facile-1.1-16.mga7.aarch64.htmlOCaml library for constraint programmingMageia 7 for aarch64ocaml-facile-1.1-16.mga7.aarch64.rpm
ocaml-facile-1.1-16.mga7.armv7hl.htmlOCaml library for constraint programmingMageia 7 for armv7hlocaml-facile-1.1-16.mga7.armv7hl.rpm
ocaml-facile-1.1-16.mga7.i586.htmlOCaml library for constraint programmingMageia 7 for i586ocaml-facile-1.1-16.mga7.i586.rpm
ocaml-facile-1.1-16.mga7.x86_64.htmlOCaml library for constraint programmingMageia 7 for x86_64ocaml-facile-1.1-16.mga7.x86_64.rpm
ocaml-facile-1.1-bp153.2.2.1.aarch64.htmlOcaml Constraint Programming LibraryOpenSuSE Leap 15.3 for aarch64ocaml-facile-1.1-bp153.2.2.1.aarch64.rpm
ocaml-facile-1.1-bp153.2.2.1.ppc64le.htmlOcaml Constraint Programming LibraryOpenSuSE Leap 15.3 for ppc64leocaml-facile-1.1-bp153.2.2.1.ppc64le.rpm
ocaml-facile-1.1-bp153.2.2.1.s390x.htmlOcaml Constraint Programming LibraryOpenSuSE Leap 15.3 for s390xocaml-facile-1.1-bp153.2.2.1.s390x.rpm
ocaml-facile-1.1-bp153.2.2.1.x86_64.htmlOcaml Constraint Programming LibraryOpenSuSE Leap 15.3 for x86_64ocaml-facile-1.1-bp153.2.2.1.x86_64.rpm
ocaml-facile-1.1-bp153.1.1.armv7hl.htmlOcaml Constraint Programming LibraryOpenSuSE Ports Leap 15.3 for armv7hlocaml-facile-1.1-bp153.1.1.armv7hl.rpm
ocaml-facile-1.1-lp152.3.6.x86_64.htmlOcaml Constraint Programming LibraryOpenSuSE Leap 15.2 for x86_64ocaml-facile-1.1-lp152.3.6.x86_64.rpm
ocaml-facile-1.1-lp152.3.5.ppc64le.htmlOcaml Constraint Programming LibraryOpenSuSE Ports Leap 15.2 for ppc64leocaml-facile-1.1-lp152.3.5.ppc64le.rpm
ocaml-facile-1.1-lp152.3.2.aarch64.htmlOcaml Constraint Programming LibraryOpenSuSE Ports Leap 15.2 for aarch64ocaml-facile-1.1-lp152.3.2.aarch64.rpm
ocaml-facile-1.1-lp152.3.2.armv7hl.htmlOcaml Constraint Programming LibraryOpenSuSE Ports Leap 15.2 for armv7hlocaml-facile-1.1-lp152.3.2.armv7hl.rpm

Generated by rpm2html 1.6

Fabrice Bellet