معرفی شرکت ها
minizinc_2.4.2-1build1_amd64.deb
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشترتوضیحات
constraint modelling language and tool chain
| ویژگی | مقدار |
|---|---|
| سیستم عامل | Linux |
| توزیع | Ubuntu Focal-20.04 |
| مخزن | Ubuntu universe amd64 |
| نام بسته | minizinc |
| نام فایل بسته | minizinc_2.4.2-1build1_amd64.deb |
| نسخه بسته | 2.4.2 |
| انتشار بسته | 1build1 |
| معماری بسته | amd64 |
| نگهدارنده | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| تاریخ ساخت | - |
| هاست سازنده | - |
| نوع بسته | .deb |
| آدرس صفحه اصلی | http://www.minizinc.org/ |
| مجوز | - |
| حجم دانلود | 1481580 |
| حجم نصب | 6886 |
MiniZinc is a medium-level constraint modelling language. It is
high-level enough to express most constraint problems easily, but
low-level enough that it can be mapped onto existing solvers easily
and consistently. It is a subset of the higher-level language Zinc.
.
MiniZinc is designed to interface easily to different backend
solvers. It does this by transforming an input MiniZinc model and
data file into a FlatZinc model. FlatZinc models consist of variable
declaration and constraint definitions as well as a definition of the
objective function if the problem is an optimization problem. The
translation from MiniZinc to FlatZinc is specializable to individual
backend solvers, so they can control what form constraints end up
in. In particular, MiniZinc allows the specification of global
constraints by decomposition.
جایگزین ها
| بسته | نسخه | معماری | مخزن |
|---|---|---|---|
| minizinc-ide_2.4.2-2build1_amd64.deb | 2.4.2 | amd64 | Ubuntu universe |
نیازمندی
| مقدار | نام |
|---|---|
| >= 2.29 | libc6 |
| >= 3.0 | libgcc-s1 |
| - | libgecode49 |
| - | libgecodegist49 |
| >= 9 | libstdc++6 |
| >= 6.2.0-1 | flatzinc |
نحوه نصب
نصب پکیج deb minizinc:
sudo apt-get install minizinc_2.4.2-1build1_amd64.deb
فایل ها
| مسیرها |
|---|
| ./usr/bin/minizinc |
| ./usr/bin/mzn2doc |
| ./usr/share/doc/minizinc/README |
| ./usr/share/doc/minizinc/README.Debian |
| ./usr/share/doc/minizinc/changelog.Debian.gz |
| ./usr/share/doc/minizinc/copyright |
| ./usr/share/minizinc/g12_fd/all_different_int.mzn |
| ./usr/share/minizinc/g12_fd/cumulative.mzn |
| ./usr/share/minizinc/g12_fd/global_cardinality_low_up.mzn |
| ./usr/share/minizinc/g12_lazyfd/all_different_int.mzn |
| ./usr/share/minizinc/g12_lazyfd/redefinitions.mzn |
| ./usr/share/minizinc/geas/fzn_all_different_int.mzn |
| ./usr/share/minizinc/geas/fzn_alldifferent_except_0.mzn |
| ./usr/share/minizinc/geas/fzn_cumulative.mzn |
| ./usr/share/minizinc/geas/fzn_disjunctive.mzn |
| ./usr/share/minizinc/geas/fzn_global_cardinality.mzn |
| ./usr/share/minizinc/geas/fzn_inverse.mzn |
| ./usr/share/minizinc/geas/fzn_table_int.mzn |
| ./usr/share/minizinc/geas/fzn_value_precede_int.mzn |
| ./usr/share/minizinc/geas/redefinitions-2.0.mzn |
| ./usr/share/minizinc/geas/redefinitions.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_all_different_int.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_all_equal_int.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_among.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_arg_max_int.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_arg_min_int.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_at_least_int.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_at_least_set.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_at_most_int.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_at_most_set.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_bin_packing.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_bin_packing_capa.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_bin_packing_load.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_circuit.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_count_eq.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_count_eq_reif.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_cumulative.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_decreasing_bool.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_decreasing_int.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_diffn.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_disjoint.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_distribute.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_exactly_int.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_exactly_set.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_global_cardinality.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_global_cardinality_closed.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_global_cardinality_low_up.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_global_cardinality_low_up_closed.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_increasing_bool.mzn |
| ./usr/share/minizinc/gecode_presolver/fzn_increasing_int.mzn |
| ... and 586 more |