معرفی شرکت ها

flatzinc_6.2.0-5_amd64.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

constraint problem modelling language
ویژگی مقدار
سیستم عامل Linux
توزیع Ubuntu Lunar-23.04
مخزن Ubuntu universe amd64
نام بسته flatzinc
نام فایل بسته flatzinc_6.2.0-5_amd64.deb
نسخه بسته 6.2.0
انتشار بسته 5
معماری بسته amd64
نگهدارنده Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.gecode.org/flatzinc.html
مجوز -
حجم دانلود 24536
حجم نصب 251
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.


نیازمندی

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


نحوه نصب


نصب پکیج deb flatzinc:

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


فایل ها

مسیرها
./usr/bin/fzn-gecode
./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
./usr/share/minizinc/gecode/minimum_int.mzn
./usr/share/minizinc/gecode/nvalue.mzn
... and 17 more