معرفی شرکت ها

ocplib-simplex-ocaml-dev_0.4-2+b2_s390x.deb

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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

simplex library for solving linear inequalities
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bookworm-12
مخزن Debian main s390x
نام بسته ocplib-simplex-ocaml-dev
نام فایل بسته ocplib-simplex-ocaml-dev_0.4-2+b2_s390x.deb
نسخه بسته 0.4
انتشار بسته 2+b2
معماری بسته s390x
نگهدارنده Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی https://github.com/OCamlPro-Iguernlala/ocplib-simplex
مجوز -
حجم دانلود 271924
حجم نصب 3123
ocplib-simplex is a (fully) functional OCaml implementation of the simplex algorithm for solving systems of linear inequalities. The implementation is incremental and backtrackable. It is able to extract unsat-cores for unsatisfiable problems, and supports linear optimization.


جایگزین ها

بسته نسخه معماری مخزن
ocplib-simplex-ocaml-dev_0.4-2+b2_amd64.deb 0.4 amd64 Debian main
ocplib-simplex-ocaml-dev_0.4-2+b2_arm64.deb 0.4 arm64 Debian main
ocplib-simplex-ocaml-dev_0.4-2+b2_armel.deb 0.4 armel Debian main
ocplib-simplex-ocaml-dev_0.4-2+b2_armhf.deb 0.4 armhf Debian main
ocplib-simplex-ocaml-dev_0.4-2+b2_i386.deb 0.4 i386 Debian main
ocplib-simplex-ocaml-dev_0.4-2+b2_mips64el.deb 0.4 mips64el Debian main
ocplib-simplex-ocaml-dev_0.4-2+b2_mipsel.deb 0.4 mipsel Debian main
ocplib-simplex-ocaml-dev_0.4-2+b2_ppc64el.deb 0.4 ppc64el Debian main


نیازمندی

مقدار نام
- ocaml-base-4.13.1


نحوه نصب


نصب پکیج deb ocplib-simplex-ocaml-dev:

    sudo apt-get install ocplib-simplex-ocaml-dev_0.4-2+b2_s390x.deb


فایل ها

مسیرها
./usr/lib/ocaml/ocplib-simplex/META
./usr/lib/ocaml/ocplib-simplex/assertBounds.mli
./usr/lib/ocaml/ocplib-simplex/basic.mli
./usr/lib/ocaml/ocplib-simplex/core.mli
./usr/lib/ocaml/ocplib-simplex/coreSig.mli
./usr/lib/ocaml/ocplib-simplex/extSigs.mli
./usr/lib/ocaml/ocplib-simplex/ocplibSimplex.a
./usr/lib/ocaml/ocplib-simplex/ocplibSimplex.cma
./usr/lib/ocaml/ocplib-simplex/ocplibSimplex.cmi
./usr/lib/ocaml/ocplib-simplex/ocplibSimplex.cmo
./usr/lib/ocaml/ocplib-simplex/ocplibSimplex.cmt
./usr/lib/ocaml/ocplib-simplex/ocplibSimplex.cmx
./usr/lib/ocaml/ocplib-simplex/ocplibSimplex.cmxa
./usr/lib/ocaml/ocplib-simplex/ocplibSimplex.cmxs
./usr/lib/ocaml/ocplib-simplex/ocplibSimplex.o
./usr/lib/ocaml/ocplib-simplex/polys.mli
./usr/lib/ocaml/ocplib-simplex/rat2.mli
./usr/lib/ocaml/ocplib-simplex/result.mli
./usr/lib/ocaml/ocplib-simplex/solveBounds.mli
./usr/lib/ocaml/ocplib-simplex/version.mli
./usr/share/doc/ocplib-simplex-ocaml-dev/changelog.Debian.gz
./usr/share/doc/ocplib-simplex-ocaml-dev/changelog.Debian.s390x.gz
./usr/share/doc/ocplib-simplex-ocaml-dev/changelog.gz
./usr/share/doc/ocplib-simplex-ocaml-dev/copyright