معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

دانلود نسخه باینری

توضیحات

Constraint programming library

ویژگی	مقدار
سیستم عامل	Linux
توزیع	ALT p9
مخزن	ALTLinux classic ppc64le
نام بسته	facile
نام فایل بسته	facile-1.1.3-alt7.ppc64le.rpm
نسخه بسته	1.1.3
انتشار بسته	alt7
معماری بسته	ppc64le
نگهدارنده	-
تاریخ ساخت	Sat 08 Jun 2019 01
هاست سازنده	wasp23.hasher.altlinux.org
نوع بسته	.rpm
آدرس صفحه اصلی	http://www.recherche.enac.fr/log/facile/
مجوز	GPL
حجم دانلود	656K
حجم نصب	2.534M

FaCiLe is a constraint programming library on integer and integer set finite domains written in OCaml.

جایگزین ها

بسته	نسخه	معماری	مخزن
facile-1.1.3-alt7.i586.rpm	1.1.3	i586	ALT classic
facile-1.1.3-alt7.x86_64.rpm	1.1.3	x86_64	ALT classic

نیازمندی

مقدار	نام
= 4.07-E065A8B8	ocaml-cmi(CamlinternalFormatBasics)
= 4.07-785BC435	ocaml-cmi(Stdlib)
= 4.07-F10B61E5	ocaml-cmi(Stdlib__array)
= 4.07-47741A30	ocaml-cmi(Stdlib__buffer)
= 4.07-604C8339	ocaml-cmi(Stdlib__hashtbl)
= 4.07-9FACE80A	ocaml-cmi(Stdlib__int32)
= 4.07-678DD94A	ocaml-cmi(Stdlib__int64)
= 4.07-6AC77BA2	ocaml-cmi(Stdlib__list)
= 4.07-9ED286C7	ocaml-cmi(Stdlib__nativeint)
= 4.07-1E129649	ocaml-cmi(Stdlib__printf)
= 4.07-723E24B7	ocaml-cmi(Stdlib__random)
= 4.07-5714D5DA	ocaml-cmi(Stdlib__seq)
= 4.07-A5267232	ocaml-cmi(Stdlib__set)
= 4.07-CF3A35A6	ocaml-cmi(Stdlib__string)
= 4.07-083703B1	ocaml-cmi(Stdlib__sys)
= 4.07-6D473D03	ocaml-cmi(Stdlib__uchar)
= 4.07-68728C2D	ocaml-cmi(Stdlib__weak)
= 4.07-B5073F3F	ocaml-cmx(Stdlib)
= 4.07-5C70929F	ocaml-cmx(Stdlib__array)
= 4.07-72E0957F	ocaml-cmx(Stdlib__hashtbl)
= 4.07-B7DA3929	ocaml-cmx(Stdlib__list)
= 4.07-0C2D719E	ocaml-cmx(Stdlib__printf)
= 4.07-E358345F	ocaml-cmx(Stdlib__random)
= 4.07-4308CC63	ocaml-cmx(Stdlib__set)
= 4.07-1CBE7BE8	ocaml-cmx(Stdlib__sys)
= 4.07-D8B8F981	ocaml-cmx(Stdlib__weak)
-	rpmlib(PayloadIsLzma)

ارائه دهنده

مقدار	نام
= 4.07-5D6F9086	ocaml-cmi(Facile)
= 4.07-631C4D96	ocaml-cmi(Fcl_alldiff)
= 4.07-EB4A3288	ocaml-cmi(Fcl_arith)
= 4.07-F09C6C2A	ocaml-cmi(Fcl_boolean)
= 4.07-1ED79668	ocaml-cmi(Fcl_conjunto)
= 4.07-7E1F32CC	ocaml-cmi(Fcl_cstr)
= 4.07-10CFEFBA	ocaml-cmi(Fcl_data)
= 4.07-82F8A60C	ocaml-cmi(Fcl_debug)
= 4.07-E4D77C94	ocaml-cmi(Fcl_domain)
= 4.07-0DB202CB	ocaml-cmi(Fcl_expr)
= 4.07-CA31F0C9	ocaml-cmi(Fcl_fdArray)
= 4.07-68EABD0C	ocaml-cmi(Fcl_float)
= 4.07-F4A168C5	ocaml-cmi(Fcl_gcc)
= 4.07-CD06CF66	ocaml-cmi(Fcl_genesis)
= 4.07-080C01A7	ocaml-cmi(Fcl_goals)
= 4.07-7F28E48E	ocaml-cmi(Fcl_interval)
= 4.07-5C2EAB07	ocaml-cmi(Fcl_invariant)
= 4.07-A796A15B	ocaml-cmi(Fcl_linear)
= 4.07-3631894A	ocaml-cmi(Fcl_misc)
= 4.07-1BDA3CF7	ocaml-cmi(Fcl_nonlinear)
= 4.07-EC986CCD	ocaml-cmi(Fcl_opti)
= 4.07-E8BC9AC5	ocaml-cmi(Fcl_reify)
= 4.07-492AB8CD	ocaml-cmi(Fcl_setDomain)
= 4.07-A3DC4B61	ocaml-cmi(Fcl_sorting)
= 4.07-9E208424	ocaml-cmi(Fcl_stak)
= 4.07-EE887BEA	ocaml-cmi(Fcl_var)
= 4.07-33E451D4	ocaml-cmx(Facile)
= 4.07-5835EC3C	ocaml-cmx(Fcl_alldiff)
= 4.07-4AC6E453	ocaml-cmx(Fcl_arith)
= 4.07-B0501C56	ocaml-cmx(Fcl_boolean)
= 4.07-1C4BC8F1	ocaml-cmx(Fcl_conjunto)
= 4.07-778256CB	ocaml-cmx(Fcl_cstr)
= 4.07-0CE66500	ocaml-cmx(Fcl_data)
= 4.07-7162CA36	ocaml-cmx(Fcl_debug)
= 4.07-D6D04215	ocaml-cmx(Fcl_domain)
= 4.07-A5E568CF	ocaml-cmx(Fcl_expr)
= 4.07-5F39C7D3	ocaml-cmx(Fcl_fdArray)
= 4.07-A6F61B1A	ocaml-cmx(Fcl_float)
= 4.07-944BAF73	ocaml-cmx(Fcl_gcc)
= 4.07-3BA74DFC	ocaml-cmx(Fcl_genesis)
= 4.07-DA74A68E	ocaml-cmx(Fcl_goals)
= 4.07-1EF70F30	ocaml-cmx(Fcl_interval)
= 4.07-DB2EF03E	ocaml-cmx(Fcl_invariant)
= 4.07-4E37D56B	ocaml-cmx(Fcl_linear)
= 4.07-33A031B5	ocaml-cmx(Fcl_misc)
= 4.07-82951594	ocaml-cmx(Fcl_nonlinear)
= 4.07-60AE6AF0	ocaml-cmx(Fcl_opti)
= 4.07-568E8467	ocaml-cmx(Fcl_reify)
= 4.07-DD5CD3F8	ocaml-cmx(Fcl_setDomain)
= 4.07-162974AD	ocaml-cmx(Fcl_sorting)
= 4.07-B1369270	ocaml-cmx(Fcl_stak)
= 4.07-ACB66376	ocaml-cmx(Fcl_var)
= 1.1.3-alt7:sisyphus.215119.10500	facile

نحوه نصب

نصب پکیج rpm facile:

sudo apt-get install facile-1.1.3-alt7.ppc64le.rpm

فایل ها

مسیرها
/usr/lib64/ocaml/facile
/usr/lib64/ocaml/facile/facile.a
/usr/lib64/ocaml/facile/facile.cma
/usr/lib64/ocaml/facile/facile.cmi
/usr/lib64/ocaml/facile/facile.cmxa

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

تاریخ آخرین تغییر	جزئیات
2018-10-19	rebuild with new ocaml
2018-09-06	rebuild with new ocaml
2018-05-20	rebuilt for ocaml 4.06.1
2017-07-11	rebuild with ocaml 4.04.2
2017-05-03	rebuild with ocaml 4.04.1
2017-04-06	rebuild with new ocaml environment
2017-04-06	new version
2016-06-19	Rebuild with ocaml4 4.03.0.
2015-07-01	Rebuild with new rpm-build-ocaml4.
2015-06-24	Adopted for Ocaml 4.x
2011-12-28	rebuilt
2008-10-15	initial specfile