معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Constraint programming library

ویژگی	مقدار
سیستم عامل	Linux
توزیع	ALT p9
مخزن	ALTLinux classic i586
نام بسته	facile
نام فایل بسته	facile-1.1.3-alt7.i586.rpm
نسخه بسته	1.1.3
انتشار بسته	alt7
معماری بسته	i586
نگهدارنده	-
تاریخ ساخت	Fri 19 Oct 2018 06
هاست سازنده	rider-sisyphus.hasher.altlinux.org
نوع بسته	.rpm
آدرس صفحه اصلی	http://www.recherche.enac.fr/log/facile/
مجوز	GPL
حجم دانلود	553K
حجم نصب	2.041M

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

جایگزین ها

بسته	نسخه	معماری	مخزن
facile-1.1.3-alt7.ppc64le.rpm	1.1.3	ppc64le	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-65896C64	ocaml-cmx(Stdlib)
= 4.07-4F497DBE	ocaml-cmx(Stdlib__array)
= 4.07-A8D421F6	ocaml-cmx(Stdlib__hashtbl)
= 4.07-5AB5878B	ocaml-cmx(Stdlib__list)
= 4.07-74442C82	ocaml-cmx(Stdlib__printf)
= 4.07-AC6F7667	ocaml-cmx(Stdlib__random)
= 4.07-6E7945AA	ocaml-cmx(Stdlib__set)
= 4.07-7803B772	ocaml-cmx(Stdlib__sys)
= 4.07-AB32FBE9	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-877E1357	ocaml-cmx(Facile)
= 4.07-D8CC2835	ocaml-cmx(Fcl_alldiff)
= 4.07-BBDA2876	ocaml-cmx(Fcl_arith)
= 4.07-820D0744	ocaml-cmx(Fcl_boolean)
= 4.07-65822226	ocaml-cmx(Fcl_conjunto)
= 4.07-0AA64C4B	ocaml-cmx(Fcl_cstr)
= 4.07-C419981C	ocaml-cmx(Fcl_data)
= 4.07-7F36E0AE	ocaml-cmx(Fcl_debug)
= 4.07-3D9CA080	ocaml-cmx(Fcl_domain)
= 4.07-A714A456	ocaml-cmx(Fcl_expr)
= 4.07-674FB422	ocaml-cmx(Fcl_fdArray)
= 4.07-9B243280	ocaml-cmx(Fcl_float)
= 4.07-5AD4A64F	ocaml-cmx(Fcl_gcc)
= 4.07-49F35FDF	ocaml-cmx(Fcl_genesis)
= 4.07-27333433	ocaml-cmx(Fcl_goals)
= 4.07-D9DAD27E	ocaml-cmx(Fcl_interval)
= 4.07-378ECBFE	ocaml-cmx(Fcl_invariant)
= 4.07-4E0DC460	ocaml-cmx(Fcl_linear)
= 4.07-49D69460	ocaml-cmx(Fcl_misc)
= 4.07-7C69E6C4	ocaml-cmx(Fcl_nonlinear)
= 4.07-EFEA5363	ocaml-cmx(Fcl_opti)
= 4.07-9CE88CB6	ocaml-cmx(Fcl_reify)
= 4.07-6F5621A5	ocaml-cmx(Fcl_setDomain)
= 4.07-D29CD2BC	ocaml-cmx(Fcl_sorting)
= 4.07-C795C222	ocaml-cmx(Fcl_stak)
= 4.07-8B9F3264	ocaml-cmx(Fcl_var)
= 1.1.3-alt7	facile

نحوه نصب

نصب پکیج rpm facile:

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

فایل ها

مسیرها
/usr/lib/ocaml/facile
/usr/lib/ocaml/facile/facile.a
/usr/lib/ocaml/facile/facile.cma
/usr/lib/ocaml/facile/facile.cmi
/usr/lib/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