معرفی شرکت ها


lbt_1.2.2-7_s390x.deb


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

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

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

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

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

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

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

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

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

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

مشاهده بیشتر

توضیحات

converts from LTL formulas to Büchi automata
ویژگی مقدار
سیستم عامل Linux
توزیع Debian Bullseye-11
مخزن Debian main s390x
نام بسته lbt
نام فایل بسته lbt_1.2.2-7_s390x.deb
نسخه بسته 1.2.2
انتشار بسته 7
معماری بسته s390x
نگهدارنده Debian Science Maintainers <debian-science-maintainers@lists.alioth.debian.org>
تاریخ ساخت -
هاست سازنده -
نوع بسته .deb
آدرس صفحه اصلی http://www.tcs.hut.fi/Software/maria/tools/lbt/
مجوز -
حجم دانلود 28672
حجم نصب 96
This software converts a linear temporal logic (ltl) formula to a generalised Büchi automaton. The resulting automaton may be used, for instance, in model checking, where it represents a property to be verified from a model (e.g. a Petri net).


جایگزین ها

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


نیازمندی

مقدار نام
>= 2.7 libc6
>= 5 libstdc++6


نحوه نصب


نصب پکیج deb lbt:

    sudo apt-get install lbt_1.2.2-7_s390x.deb


فایل ها

مسیرها
./usr/bin/lbt
./usr/bin/lbt2dot
./usr/share/doc/lbt/changelog.Debian.gz
./usr/share/doc/lbt/changelog.gz
./usr/share/doc/lbt/copyright
./usr/share/doc/lbt/index.html
./usr/share/doc/lbt/notgp0-opt.png
./usr/share/doc/lbt/notgp0.png
./usr/share/doc-base/lbt
./usr/share/man/man1/lbt.1.gz
./usr/share/man/man1/lbt2dot.1.gz -> lbt.1.gz