معرفی شرکت ها

minizinc-ide_2.1.7-1_s390x.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

MiniZinc constraint modelling language IDE
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Buster-10
مخزن Debian main s390x
نام بسته minizinc-ide
نام فایل بسته minizinc-ide_2.1.7-1_s390x.deb
نسخه بسته 2.1.7
انتشار بسته 1
معماری بسته s390x
نگهدارنده Kari Pahula <kaol@debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.minizinc.org/ide/
مجوز -
حجم دانلود 242388
حجم نصب 837
The MiniZinc IDE is a simple Integrated Development Environment for writing and running MiniZinc models. It provides a tabbed editor with MiniZinc syntax highlighting, configuration dialogs for solver options and model parameters, and an integrated environment for compiling models and running solvers.


جایگزین ها

بسته نسخه معماری مخزن
minizinc-ide_2.1.7-1_amd64.deb 2.1.7 amd64 Debian main
minizinc-ide_2.1.7-1_arm64.deb 2.1.7 arm64 Debian main
minizinc-ide_2.1.7-1_armel.deb 2.1.7 armel Debian main
minizinc-ide_2.1.7-1_armhf.deb 2.1.7 armhf Debian main
minizinc-ide_2.1.7-1_i386.deb 2.1.7 i386 Debian main
minizinc-ide_2.1.7-1_mips.deb 2.1.7 mips Debian main
minizinc-ide_2.1.7-1_mips64el.deb 2.1.7 mips64el Debian main
minizinc-ide_2.1.7-1_mipsel.deb 2.1.7 mipsel Debian main
minizinc-ide_2.1.7-1_ppc64el.deb 2.1.7 ppc64el Debian main


نیازمندی

مقدار نام
>= 2.4 libc6
>= 1:3.0 libgcc1
- libgl1
>= 5.7.0 libqt5core5a
>= 5.2.0 libqt5gui5
>= 5.0.2 libqt5network5
>= 5.6.0~rc libqt5webkit5
>= 5.2.0~alpha1 libqt5widgets5
>= 5.2 libstdc++6
- minizinc


نحوه نصب


نصب پکیج deb minizinc-ide:

    sudo apt-get install minizinc-ide_2.1.7-1_s390x.deb


فایل ها

مسیرها
./usr/bin/fzn-gecode-gist
./usr/bin/minizinc-ide
./usr/share/applications/minizinc-ide.desktop
./usr/share/doc/minizinc-ide/TODO
./usr/share/doc/minizinc-ide/changelog.Debian.gz
./usr/share/doc/minizinc-ide/changelog.gz
./usr/share/doc/minizinc-ide/copyright
./usr/share/pixmaps/minizinc.xpm