معرفی شرکت ها

flatzinc_6.1.0-2_armhf.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

constraint problem modelling language
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Buster-10
مخزن Debian main armhf
نام بسته flatzinc
نام فایل بسته flatzinc_6.1.0-2_armhf.deb
نسخه بسته 6.1.0
انتشار بسته 2
معماری بسته armhf
نگهدارنده Kari Pahula <kaol@debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.gecode.org/flatzinc.html
مجوز -
حجم دانلود 64592
حجم نصب 97
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 <http://www.g12.cs.mu.oz.au/minizinc/>. . We provide a parser that reads a FlatZinc model from a file, and returns a Gecode Space object that represents the model. We also provide a simple front-end, an executable program that reads a FlatZinc model and prints the solution (if any) on the standard output. . The FlatZinc interpreter that ships with Gecode version 4.4.0 supports the FlatZinc language and MiniZinc global constraint definitions of MiniZinc version 1.6.0.


جایگزین ها

بسته نسخه معماری مخزن
flatzinc_6.1.0-2_amd64.deb 6.1.0 amd64 Debian main
flatzinc_6.1.0-2_arm64.deb 6.1.0 arm64 Debian main
flatzinc_6.1.0-2_armel.deb 6.1.0 armel Debian main
flatzinc_6.1.0-2_i386.deb 6.1.0 i386 Debian main
flatzinc_6.1.0-2_mips.deb 6.1.0 mips Debian main
flatzinc_6.1.0-2_mips64el.deb 6.1.0 mips64el Debian main
flatzinc_6.1.0-2_mipsel.deb 6.1.0 mipsel Debian main
flatzinc_6.1.0-2_ppc64el.deb 6.1.0 ppc64el Debian main
flatzinc_6.1.0-2_s390x.deb 6.1.0 s390x Debian main


نیازمندی

مقدار نام
>= 2.4 libc6
>= 1:3.5 libgcc1
- libgecode48
- libgecodeflatzinc48
- libgecodegist48
- libgmp10
>= 3.1.3 libmpfr6
>= 5.2 libstdc++6


نحوه نصب


نصب پکیج deb flatzinc:

    sudo apt-get install flatzinc_6.1.0-2_armhf.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/bin/flatzinc -> fzn-gecode