معرفی شرکت ها

ocaml-facile-1.1-77.fc38.aarch64.rpm

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

OCaml library for constraint programming
ویژگی مقدار
سیستم عامل Linux
توزیع Fedora 38
مخزن Fedora Everything aarch64
نام بسته ocaml-facile
نام فایل بسته ocaml-facile-1.1-77.fc38.aarch64.rpm
نسخه بسته 1.1
انتشار بسته 77.fc38
معماری بسته aarch64
نگهدارنده -
تاریخ ساخت Tue 24 Jan 2023 12
هاست سازنده buildvm-a64-25.iad2.fedoraproject.org
نوع بسته .rpm
آدرس صفحه اصلی http://www.recherche.enac.fr/log/facile/
مجوز LGPLv2+
حجم دانلود 560K
حجم نصب 1.371M
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-77.fc38.src.rpm 1.1 i686 Fedora Everything
ocaml-facile-1.1-77.fc38.x86_64.rpm 1.1 x86_64 Fedora Everything
ocaml-facile-devel-1.1-77.fc38.aarch64.rpm 1.1 aarch64 Fedora Everything
ocaml-facile-devel-1.1-77.fc38.i686.rpm 1.1 i686 Fedora Everything
ocaml-facile-devel-1.1-77.fc38.x86_64.rpm 1.1 x86_64 Fedora Everything


نیازمندی

مقدار نام
= 8f8f634558798ee408df3c50a5539b15 ocaml(CamlinternalFormatBasics)
= 850a5fdf351401eccb8a047affe7cd80 ocaml(Fcl_alldiff)
= 90d50c42366d157df8269f2ff8b9d635 ocaml(Fcl_arith)
= 113cbe314bbe81d6fc003a4fb9cc2bfb ocaml(Fcl_boolean)
= 3f267e772b613a0d225d44b3d50af91e ocaml(Fcl_conjunto)
= ed99df558fc15b2d45d16e52a8744f3f ocaml(Fcl_cstr)
= be92f59cfe0ed85564bb33725311f84a ocaml(Fcl_data)
= d298067ad781b7ecd2dd89db84474dea ocaml(Fcl_debug)
= d119e881f7ffcca9f1a9a5371eab54a2 ocaml(Fcl_domain)
= e42058762e8a26ac6d4e5379b1852a44 ocaml(Fcl_expr)
= 8a8ebd984359e02123515acb077e96e2 ocaml(Fcl_fdArray)
= 2e0e7df669644a1814ebba5f6d8c5958 ocaml(Fcl_float)
= 70510e62508a1fe57f46b5065df4c945 ocaml(Fcl_gcc)
= b7ed5297852208ab2c0c892b088cecc2 ocaml(Fcl_genesis)
= 859bcc3177c1a0c15f2aed6be0e2203a ocaml(Fcl_goals)
= d9fb2edd22893a156a4569418a6b1066 ocaml(Fcl_interval)
= b20b3a40b6887cc536bd858f9ed5f443 ocaml(Fcl_invariant)
= 7a5dbfe65a095d53f7af5df6bfd0fcc0 ocaml(Fcl_linear)
= 537294553673f5beeee28921df3bce71 ocaml(Fcl_misc)
= 891f16f5297afb1487fb1ca7a1287d81 ocaml(Fcl_nonlinear)
= 6694e4357adffea08a8f4d2017cebd5b ocaml(Fcl_opti)
= 963ee19fe6d496c8d65c96948a2f43ab ocaml(Fcl_reify)
= cdf13a247645dca6ab96f61f0050ec1d ocaml(Fcl_setDomain)
= faf24595cb9b395a38767e2dc37f5fd4 ocaml(Fcl_sorting)
= 45cd334566e646d1100d776d0926293e ocaml(Fcl_stak)
= eaa33e0d7f47584fdc52bf23f0c11cae ocaml(Fcl_var)
= 79b0e9d3b6f7fed07eb3cc2abb961b91 ocaml(Stdlib)
= 622d88fad859d0d0f019e691fc4fa865 ocaml(Stdlib__Array)
= 4b09c9a6d0622bbf5a3829234b481822 ocaml(Stdlib__Buffer)
= 26845df28d19584687a38a1ab814c3f9 ocaml(Stdlib__Either)
= 34c0fdd524bf2a75e4d5af64a6d34401 ocaml(Stdlib__Hashtbl)
= a71ea5238030770647165f659f80b1ab ocaml(Stdlib__Int32)
= 0fa5587c47baf16a06837c7dedfc2518 ocaml(Stdlib__Int64)
= ee222542f6f8195441543b8b399b64b9 ocaml(Stdlib__List)
= 989149bf8f2ce1a89fecbc3f5f40f52c ocaml(Stdlib__Nativeint)
= dc77fedcffc67c0119b789c66d5ef7bf ocaml(Stdlib__Pervasives)
= bc8af6214197dc8f40eaa738a4cd6a28 ocaml(Stdlib__Printf)
= 81e43bab9bd47bab804eb6e582306de1 ocaml(Stdlib__Random)
= b63511032211eae4b567ba313cd72962 ocaml(Stdlib__Seq)
= 871d2ee2167ac9e7977fa13994cf4658 ocaml(Stdlib__Set)
= 097838f294457ecbb61ccbcf86cc6972 ocaml(Stdlib__String)
= 7726a14ce36f5c6c3abb04975cec748b ocaml(Stdlib__Sys)
= c0dde02a556a6d79e363ad365d165d57 ocaml(Stdlib__Uchar)
= 28f276c430fdc51a3a10691d3066b26a ocaml(Stdlib__Weak)


ارائه دهنده

مقدار نام
= c1a325ecefe367b7cc6a6f423e36180c ocaml(Facile)
= 850a5fdf351401eccb8a047affe7cd80 ocaml(Fcl_alldiff)
= 90d50c42366d157df8269f2ff8b9d635 ocaml(Fcl_arith)
= 113cbe314bbe81d6fc003a4fb9cc2bfb ocaml(Fcl_boolean)
= 3f267e772b613a0d225d44b3d50af91e ocaml(Fcl_conjunto)
= ed99df558fc15b2d45d16e52a8744f3f ocaml(Fcl_cstr)
= be92f59cfe0ed85564bb33725311f84a ocaml(Fcl_data)
= d298067ad781b7ecd2dd89db84474dea ocaml(Fcl_debug)
= d119e881f7ffcca9f1a9a5371eab54a2 ocaml(Fcl_domain)
= e42058762e8a26ac6d4e5379b1852a44 ocaml(Fcl_expr)
= 8a8ebd984359e02123515acb077e96e2 ocaml(Fcl_fdArray)
= 2e0e7df669644a1814ebba5f6d8c5958 ocaml(Fcl_float)
= 70510e62508a1fe57f46b5065df4c945 ocaml(Fcl_gcc)
= b7ed5297852208ab2c0c892b088cecc2 ocaml(Fcl_genesis)
= 859bcc3177c1a0c15f2aed6be0e2203a ocaml(Fcl_goals)
= d9fb2edd22893a156a4569418a6b1066 ocaml(Fcl_interval)
= b20b3a40b6887cc536bd858f9ed5f443 ocaml(Fcl_invariant)
= 7a5dbfe65a095d53f7af5df6bfd0fcc0 ocaml(Fcl_linear)
= 537294553673f5beeee28921df3bce71 ocaml(Fcl_misc)
= 891f16f5297afb1487fb1ca7a1287d81 ocaml(Fcl_nonlinear)
= 6694e4357adffea08a8f4d2017cebd5b ocaml(Fcl_opti)
= 963ee19fe6d496c8d65c96948a2f43ab ocaml(Fcl_reify)
= cdf13a247645dca6ab96f61f0050ec1d ocaml(Fcl_setDomain)
= faf24595cb9b395a38767e2dc37f5fd4 ocaml(Fcl_sorting)
= 45cd334566e646d1100d776d0926293e ocaml(Fcl_stak)
= eaa33e0d7f47584fdc52bf23f0c11cae ocaml(Fcl_var)
= 1.1-77.fc38 ocaml-facile
= 1.1-77.fc38 ocaml-facile(aarch-64)


نحوه نصب


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

    dnf install ocaml-facile-1.1-77.fc38.aarch64.rpm


فایل ها

مسیرها
/usr/lib64/ocaml/facile
/usr/lib64/ocaml/facile/facile.cma
/usr/lib64/ocaml/facile/facile.cmi
/usr/share/doc/ocaml-facile
/usr/share/doc/ocaml-facile/LICENSE


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

تاریخ آخرین تغییر جزئیات
2023-01-24

Rebuild OCaml packages for F38

2023-01-19

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

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