معرفی شرکت ها

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

تبلیغات ما

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

مشاهده بیشتر

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

توضیحات

Constraint programming library

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

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

جایگزین ها

بسته	نسخه	معماری	مخزن
facile-1.1.3-alt4.M80P.1.i586.rpm	1.1.3	i586	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-B9A77B7F	ocaml-cmx(Array)
= 4.04-10ED452F	ocaml-cmx(Hashtbl)
= 4.04-86C7F6E3	ocaml-cmx(List)
= 4.04-B713A8F4	ocaml-cmx(Pervasives)
= 4.04-8DCC1A7A	ocaml-cmx(Printf)
= 4.04-986699F8	ocaml-cmx(Random)
= 4.04-AD17FE5F	ocaml-cmx(Set)
= 4.04-C32816EE	ocaml-cmx(Sys)
= 4.04-3C9B6537	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-6117ADC7	ocaml-cmx(Facile)
= 4.04-DA3FE2BE	ocaml-cmx(Fcl_alldiff)
= 4.04-8E6C69B6	ocaml-cmx(Fcl_arith)
= 4.04-450BFFA3	ocaml-cmx(Fcl_boolean)
= 4.04-32666B14	ocaml-cmx(Fcl_conjunto)
= 4.04-00EFFFB7	ocaml-cmx(Fcl_cstr)
= 4.04-1C505462	ocaml-cmx(Fcl_data)
= 4.04-7B679DD3	ocaml-cmx(Fcl_debug)
= 4.04-974A9006	ocaml-cmx(Fcl_domain)
= 4.04-C87908F9	ocaml-cmx(Fcl_expr)
= 4.04-BC469480	ocaml-cmx(Fcl_fdArray)
= 4.04-8644DF19	ocaml-cmx(Fcl_float)
= 4.04-AF341A47	ocaml-cmx(Fcl_gcc)
= 4.04-44BC690E	ocaml-cmx(Fcl_genesis)
= 4.04-E9A7E170	ocaml-cmx(Fcl_goals)
= 4.04-1EF76AD9	ocaml-cmx(Fcl_interval)
= 4.04-BCC7DC00	ocaml-cmx(Fcl_invariant)
= 4.04-2510D989	ocaml-cmx(Fcl_linear)
= 4.04-1EA96035	ocaml-cmx(Fcl_misc)
= 4.04-D9A39E85	ocaml-cmx(Fcl_nonlinear)
= 4.04-559E9974	ocaml-cmx(Fcl_opti)
= 4.04-42F1FB6E	ocaml-cmx(Fcl_reify)
= 4.04-66D973A8	ocaml-cmx(Fcl_setDomain)
= 4.04-3FEFD9E9	ocaml-cmx(Fcl_sorting)
= 4.04-BA1B225A	ocaml-cmx(Fcl_stak)
= 4.04-2E2907D5	ocaml-cmx(Fcl_var)
= 1.1.3-alt4.M80P.1	facile

نحوه نصب

نصب پکیج rpm facile:

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

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

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