معرفی شرکت ها

ocaml-facile-1.1-75.fc37.src.rpm

Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر
Card image cap
تبلیغات ما

مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.

مشاهده بیشتر

توضیحات

OCaml library for constraint programming
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 37
مخزن Fedora Everything i686
نام بسته ocaml-facile
نام فایل بسته ocaml-facile-1.1-75.fc37.src.rpm
نسخه بسته 1.1
انتشار بسته 75.fc37
معماری بسته i686
نگهدارنده -
تاریخ ساخت Fri 22 Jul 2022 05
هاست سازنده buildhw-x86-11.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی http://www.recherche.enac.fr/log/facile/
مجوز LGPLv2+
حجم دانلود 123K
حجم نصب 110.278K
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.


جایگزین ها

بسته نسخه معماری مخزن
ocaml-facile-1.1-75.fc37.aarch64.rpm 1.1 aarch64 Fedora Everything
ocaml-facile-1.1-75.fc37.x86_64.rpm 1.1 x86_64 Fedora Everything
ocaml-facile-devel-1.1-75.fc37.aarch64.rpm 1.1 aarch64 Fedora Everything
ocaml-facile-devel-1.1-75.fc37.i686.rpm 1.1 i686 Fedora Everything
ocaml-facile-devel-1.1-75.fc37.x86_64.rpm 1.1 x86_64 Fedora Everything


نیازمندی

مقدار نام
- make
>= 3.02 ocaml
- ocaml-findlib-devel


ارائه دهنده

مقدار نام
= 1.1-75.fc37 ocaml-facile
= 1.1-75.fc37 ocaml-facile-devel


نحوه نصب


نصب پکیج rpm ocaml-facile:

    dnf install ocaml-facile-1.1-75.fc37.src.rpm


فایل ها

مسیرها
facile-1.1-makefile-fixes.patch
facile-1.1.tar.gz
ocaml-facile-ocaml-4.patch


گزارش تغییرات

تاریخ آخرین تغییر جزئیات
2022-07-22

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

2022-06-18

OCaml 4.14.0 rebuild

2022-02-04

OCaml 4.13.1 rebuild to remove package notes

2022-01-20

Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

2021-10-04

OCaml 4.13.1 build

2021-07-22

Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

2021-03-01

OCaml 4.12.0 build

2021-01-26

Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild

2020-09-01

OCaml 4.11.1 rebuild

2020-08-21

OCaml 4.11.0 rebuild

2020-07-28

Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild