معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Constraint programming library

ویژگی	مقدار
سیستم عامل	Linux
توزیع	ALT p8
مخزن	ALTLinux classic i586
نام بسته	facile
نام فایل بسته	facile-1.1.3-alt4.M80P.1.i586.rpm
نسخه بسته	1.1.3
انتشار بسته	alt4.M80P.1
معماری بسته	i586
نگهدارنده	-
تاریخ ساخت	Wed 12 Jul 2017 10
هاست سازنده	rider-p8.hasher.altlinux.org
نوع بسته	.rpm
آدرس صفحه اصلی	http://www.recherche.enac.fr/log/facile/
مجوز	GPL
حجم دانلود	534K
حجم نصب	1.975M

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

جایگزین ها

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

نیازمندی

مقدار	نام
= 4.04-83626447	ocaml-cmi(Array)
= 4.04-C932A669	ocaml-cmi(Buffer)
= 4.04-CBD5F2D6	ocaml-cmi(CamlinternalFormatBasics)
= 4.04-4744E626	ocaml-cmi(Hashtbl)
= 4.04-F4400E9E	ocaml-cmi(Int32)
= 4.04-B2B90560	ocaml-cmi(Int64)
= 4.04-CD293869	ocaml-cmi(List)
= 4.04-6ADEB5FA	ocaml-cmi(Nativeint)
= 4.04-EEF96F96	ocaml-cmi(Pervasives)
= 4.04-38545368	ocaml-cmi(Printf)
= 4.04-D22041AA	ocaml-cmi(Random)
= 4.04-CF3455F4	ocaml-cmi(Set)
= 4.04-609A5859	ocaml-cmi(String)
= 4.04-6FB70405	ocaml-cmi(Sys)
= 4.04-5F1A9245	ocaml-cmi(Weak)
= 4.04-617A2171	ocaml-cmx(Array)
= 4.04-5543B8B2	ocaml-cmx(Hashtbl)
= 4.04-2E5B15E8	ocaml-cmx(List)
= 4.04-E3716313	ocaml-cmx(Pervasives)
= 4.04-EB8B8651	ocaml-cmx(Printf)
= 4.04-5E3A946B	ocaml-cmx(Random)
= 4.04-82EF3E03	ocaml-cmx(Set)
= 4.04-6BBFD1B2	ocaml-cmx(Sys)
= 4.04-FB8DC00B	ocaml-cmx(Weak)
-	rpmlib(PayloadIsLzma)

ارائه دهنده

مقدار	نام
= 4.04-C1C6A8B6	ocaml-cmi(Facile)
= 4.04-6DAB6318	ocaml-cmi(Fcl_alldiff)
= 4.04-0D3C508C	ocaml-cmi(Fcl_arith)
= 4.04-8891868E	ocaml-cmi(Fcl_boolean)
= 4.04-86DEFAAC	ocaml-cmi(Fcl_conjunto)
= 4.04-294DCF9F	ocaml-cmi(Fcl_cstr)
= 4.04-2118F146	ocaml-cmi(Fcl_data)
= 4.04-F547C927	ocaml-cmi(Fcl_debug)
= 4.04-BC62C05E	ocaml-cmi(Fcl_domain)
= 4.04-EFBA09A8	ocaml-cmi(Fcl_expr)
= 4.04-E7FEACFB	ocaml-cmi(Fcl_fdArray)
= 4.04-595DFCB2	ocaml-cmi(Fcl_float)
= 4.04-7E2C2D34	ocaml-cmi(Fcl_gcc)
= 4.04-B9375780	ocaml-cmi(Fcl_genesis)
= 4.04-6D20531F	ocaml-cmi(Fcl_goals)
= 4.04-5F164E24	ocaml-cmi(Fcl_interval)
= 4.04-B2FE7270	ocaml-cmi(Fcl_invariant)
= 4.04-5AB3CF05	ocaml-cmi(Fcl_linear)
= 4.04-FEBBFBE5	ocaml-cmi(Fcl_misc)
= 4.04-AF635846	ocaml-cmi(Fcl_nonlinear)
= 4.04-8F97AF83	ocaml-cmi(Fcl_opti)
= 4.04-E61D93E9	ocaml-cmi(Fcl_reify)
= 4.04-BE07AE36	ocaml-cmi(Fcl_setDomain)
= 4.04-C4C1B6B1	ocaml-cmi(Fcl_sorting)
= 4.04-64C5AC03	ocaml-cmi(Fcl_stak)
= 4.04-D31E97EB	ocaml-cmi(Fcl_var)
= 4.04-0F334540	ocaml-cmx(Facile)
= 4.04-EB42AE47	ocaml-cmx(Fcl_alldiff)
= 4.04-D9C10DAA	ocaml-cmx(Fcl_arith)
= 4.04-FE7906A1	ocaml-cmx(Fcl_boolean)
= 4.04-EEF6D169	ocaml-cmx(Fcl_conjunto)
= 4.04-1080135F	ocaml-cmx(Fcl_cstr)
= 4.04-E6129BEC	ocaml-cmx(Fcl_data)
= 4.04-7AC67BF0	ocaml-cmx(Fcl_debug)
= 4.04-0EC223C0	ocaml-cmx(Fcl_domain)
= 4.04-E6ED23CA	ocaml-cmx(Fcl_expr)
= 4.04-59228AA5	ocaml-cmx(Fcl_fdArray)
= 4.04-399007F5	ocaml-cmx(Fcl_float)
= 4.04-0D21B8E5	ocaml-cmx(Fcl_gcc)
= 4.04-BC4AC5AE	ocaml-cmx(Fcl_genesis)
= 4.04-8418D347	ocaml-cmx(Fcl_goals)
= 4.04-CC454252	ocaml-cmx(Fcl_interval)
= 4.04-6BD4359B	ocaml-cmx(Fcl_invariant)
= 4.04-5471CB67	ocaml-cmx(Fcl_linear)
= 4.04-C5B91757	ocaml-cmx(Fcl_misc)
= 4.04-54D12044	ocaml-cmx(Fcl_nonlinear)
= 4.04-FC612305	ocaml-cmx(Fcl_opti)
= 4.04-DFC0E1C6	ocaml-cmx(Fcl_reify)
= 4.04-954E24B9	ocaml-cmx(Fcl_setDomain)
= 4.04-2C9EC37D	ocaml-cmx(Fcl_sorting)
= 4.04-62E4C04D	ocaml-cmx(Fcl_stak)
= 4.04-D292D6B9	ocaml-cmx(Fcl_var)
= 1.1.3-alt4.M80P.1	facile

نحوه نصب

نصب پکیج rpm facile:

sudo apt-get install facile-1.1.3-alt4.M80P.1.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

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

تاریخ آخرین تغییر	جزئیات
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