معرفی شرکت ها
libfacile-ocaml-dev_1.1.1-1+b1_mips.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
functional constraint library implemented in Objective Caml
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Debian Buster-10 |
| مخزن | Debian main mips |
| نام بسته | libfacile-ocaml-dev |
| نام فایل بسته | libfacile-ocaml-dev_1.1.1-1+b1_mips.deb |
| نسخه بسته | 1.1.1 |
| انتشار بسته | 1+b1 |
| معماری بسته | mips |
| نگهدارنده | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://www.recherche.enac.fr/opti/facile/ |
| مجوز | - |
| حجم دانلود | 406380 |
| حجم نصب | 1368 |
FaCiLe is a constraint programming library over integer finite domain
written in Objective Caml. It offers all usual facilities to create
and manipulate finite domain variables, arithmetic expressions and
constraints (possibly non-linear), built-in global constraints and
search 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.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| libfacile-ocaml-dev_1.1.1-1+b1_amd64.deb | 1.1.1 | amd64 | Debian main |
| libfacile-ocaml-dev_1.1.1-1+b1_arm64.deb | 1.1.1 | arm64 | Debian main |
| libfacile-ocaml-dev_1.1.1-1+b1_i386.deb | 1.1.1 | i386 | Debian main |
| libfacile-ocaml-dev_1.1.1-1+b1_mips64el.deb | 1.1.1 | mips64el | Debian main |
| libfacile-ocaml-dev_1.1.1-1+b1_mipsel.deb | 1.1.1 | mipsel | Debian main |
| libfacile-ocaml-dev_1.1.1-1+b1_ppc64el.deb | 1.1.1 | ppc64el | Debian main |
| libfacile-ocaml-dev_1.1.1-1+b1_s390x.deb | 1.1.1 | s390x | Debian main |
| libfacile-ocaml-dev_1.1.1-1+b2_armel.deb | 1.1.1 | armel | Debian main |
| libfacile-ocaml-dev_1.1.1-1+b2_armhf.deb | 1.1.1 | armhf | Debian main |
نیازمندی
| مقدار | نام |
|---|---|
| - | ocaml-nox-4.05.0 |
نحوه نصب
نصب پکیج deb libfacile-ocaml-dev:
sudo apt-get install libfacile-ocaml-dev_1.1.1-1+b1_mips.deb
فایل ها
| مسیرها |
|---|
| ./usr/lib/ocaml/facile/META |
| ./usr/lib/ocaml/facile/facile.cma |
| ./usr/lib/ocaml/facile/facile.cmi |
| ./usr/lib/ocaml/facile/facile.mli |
| ./usr/lib/ocaml/facile/fcl_alldiff.mli |
| ./usr/lib/ocaml/facile/fcl_arith.mli |
| ./usr/lib/ocaml/facile/fcl_boolean.mli |
| ./usr/lib/ocaml/facile/fcl_conjunto.mli |
| ./usr/lib/ocaml/facile/fcl_cstr.mli |
| ./usr/lib/ocaml/facile/fcl_data.mli |
| ./usr/lib/ocaml/facile/fcl_debug.mli |
| ./usr/lib/ocaml/facile/fcl_domain.mli |
| ./usr/lib/ocaml/facile/fcl_expr.mli |
| ./usr/lib/ocaml/facile/fcl_fdArray.mli |
| ./usr/lib/ocaml/facile/fcl_float.mli |
| ./usr/lib/ocaml/facile/fcl_gcc.mli |
| ./usr/lib/ocaml/facile/fcl_genesis.mli |
| ./usr/lib/ocaml/facile/fcl_goals.mli |
| ./usr/lib/ocaml/facile/fcl_interval.mli |
| ./usr/lib/ocaml/facile/fcl_invariant.mli |
| ./usr/lib/ocaml/facile/fcl_linear.mli |
| ./usr/lib/ocaml/facile/fcl_misc.mli |
| ./usr/lib/ocaml/facile/fcl_nonlinear.mli |
| ./usr/lib/ocaml/facile/fcl_opti.mli |
| ./usr/lib/ocaml/facile/fcl_reify.mli |
| ./usr/lib/ocaml/facile/fcl_setDomain.mli |
| ./usr/lib/ocaml/facile/fcl_sorting.mli |
| ./usr/lib/ocaml/facile/fcl_stak.mli |
| ./usr/lib/ocaml/facile/fcl_var.mli |
| ./usr/share/doc/libfacile-ocaml-dev/README |
| ./usr/share/doc/libfacile-ocaml-dev/changelog.Debian.gz |
| ./usr/share/doc/libfacile-ocaml-dev/changelog.Debian.mips.gz |
| ./usr/share/doc/libfacile-ocaml-dev/copyright |
| ./usr/share/doc/libfacile-ocaml-dev/examples/coins.ml |
| ./usr/share/doc/libfacile-ocaml-dev/examples/golf.ml.gz |
| ./usr/share/doc/libfacile-ocaml-dev/examples/golomb.ml |
| ./usr/share/doc/libfacile-ocaml-dev/examples/jobshop.ml.gz |
| ./usr/share/doc/libfacile-ocaml-dev/examples/magic.ml |
| ./usr/share/doc/libfacile-ocaml-dev/examples/marriage.ml |
| ./usr/share/doc/libfacile-ocaml-dev/examples/mt10.dat |
| ./usr/share/doc/libfacile-ocaml-dev/examples/prolog.ml.gz |
| ./usr/share/doc/libfacile-ocaml-dev/examples/queens.ml |
| ./usr/share/doc/libfacile-ocaml-dev/examples/scheduling.ml.gz |
| ./usr/share/doc/libfacile-ocaml-dev/examples/seven_eleven.ml |
| ./usr/share/doc/libfacile-ocaml-dev/examples/tiles.ml |
| ./var/lib/ocaml/lintian/libfacile-ocaml-dev.info |
| ./var/lib/ocaml/md5sums/libfacile-ocaml-dev.md5sums |