معرفی شرکت ها

flatzinc_6.2.0-5_s390x.deb

Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر
Card image cap
تبلیغات ما

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

مشاهده بیشتر

توضیحات

constraint problem modelling language
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main s390x
نام بسته flatzinc
نام فایل بسته flatzinc_6.2.0-5_s390x.deb
نسخه بسته 6.2.0
انتشار بسته 5
معماری بسته s390x
نگهدارنده Kari Pahula <kaol@debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.gecode.org/flatzinc.html
مجوز -
حجم دانلود 75776
حجم نصب 243
FlatZinc is a low-level modelling language for constraint problems. It is designed to be easily interfaceable to constraint solvers (like Gecode). For more information on FlatZinc, please refer to the MiniZinc pages of the G12 project <https://www.minizinc.org/>. . The FlatZinc interpreter that ships with Gecode supports the FlatZinc language and MiniZinc global constraint definitions of MiniZinc version 1.6.0.


جایگزین ها

بسته نسخه معماری مخزن
flatzinc_6.2.0-5_amd64.deb 6.2.0 amd64 Debian main
flatzinc_6.2.0-5_arm64.deb 6.2.0 arm64 Debian main
flatzinc_6.2.0-5_armel.deb 6.2.0 armel Debian main
flatzinc_6.2.0-5_armhf.deb 6.2.0 armhf Debian main
flatzinc_6.2.0-5_i386.deb 6.2.0 i386 Debian main
flatzinc_6.2.0-5_mips64el.deb 6.2.0 mips64el Debian main
flatzinc_6.2.0-5_mipsel.deb 6.2.0 mipsel Debian main
flatzinc_6.2.0-5_ppc64el.deb 6.2.0 ppc64el Debian main


نیازمندی

مقدار نام
>= 2.4 libc6
>= 3.0 libgcc-s1
- libgecode49
- libgecodeflatzinc49
- libgecodegist49
>= 5.2 libstdc++6


نحوه نصب


نصب پکیج deb flatzinc:

    sudo apt-get install flatzinc_6.2.0-5_s390x.deb


فایل ها

مسیرها
./usr/bin/fzn-gecode
./usr/share/doc/flatzinc/changelog.Debian.gz
./usr/share/doc/flatzinc/changelog.gz
./usr/share/doc/flatzinc/copyright
./usr/share/lintian/overrides/flatzinc
./usr/share/minizinc/fzn-gecode-gist
./usr/share/minizinc/gecode/all_different_int.mzn
./usr/share/minizinc/gecode/all_equal_int.mzn
./usr/share/minizinc/gecode/alldifferent_except_0.mzn
./usr/share/minizinc/gecode/among.mzn
./usr/share/minizinc/gecode/arg_max_bool.mzn
./usr/share/minizinc/gecode/arg_max_int.mzn
./usr/share/minizinc/gecode/arg_min_bool.mzn
./usr/share/minizinc/gecode/arg_min_int.mzn
./usr/share/minizinc/gecode/at_least_int.mzn
./usr/share/minizinc/gecode/at_least_set.mzn
./usr/share/minizinc/gecode/at_most_int.mzn
./usr/share/minizinc/gecode/at_most_set.mzn
./usr/share/minizinc/gecode/bin_packing.mzn
./usr/share/minizinc/gecode/bin_packing_capa.mzn
./usr/share/minizinc/gecode/bin_packing_load.mzn
./usr/share/minizinc/gecode/circuit.mzn
./usr/share/minizinc/gecode/count.mzn
./usr/share/minizinc/gecode/cumulative.mzn
./usr/share/minizinc/gecode/decreasing_bool.mzn
./usr/share/minizinc/gecode/decreasing_int.mzn
./usr/share/minizinc/gecode/diffn.mzn
./usr/share/minizinc/gecode/disjoint.mzn
./usr/share/minizinc/gecode/disjunctive_strict.mzn
./usr/share/minizinc/gecode/distribute.mzn
./usr/share/minizinc/gecode/exactly_int.mzn
./usr/share/minizinc/gecode/exactly_set.mzn
./usr/share/minizinc/gecode/gecode.mzn
./usr/share/minizinc/gecode/global_cardinality.mzn
./usr/share/minizinc/gecode/global_cardinality_closed.mzn
./usr/share/minizinc/gecode/global_cardinality_low_up.mzn
./usr/share/minizinc/gecode/global_cardinality_low_up_closed.mzn
./usr/share/minizinc/gecode/increasing_bool.mzn
./usr/share/minizinc/gecode/increasing_int.mzn
./usr/share/minizinc/gecode/int_set_channel.mzn
./usr/share/minizinc/gecode/inverse.mzn
./usr/share/minizinc/gecode/inverse_set.mzn
./usr/share/minizinc/gecode/lex_less_bool.mzn
./usr/share/minizinc/gecode/lex_less_int.mzn
./usr/share/minizinc/gecode/lex_lesseq_bool.mzn
./usr/share/minizinc/gecode/lex_lesseq_int.mzn
./usr/share/minizinc/gecode/link_set_to_booleans.mzn
./usr/share/minizinc/gecode/maximum_int.mzn
./usr/share/minizinc/gecode/member_bool.mzn
./usr/share/minizinc/gecode/member_int.mzn
... and 18 more