» Ubuntu » 套件 » bionic (18.04LTS) » math » lbt
xenial  ] [  bionic  ] [  cosmic  ] [  disco  ] [  eoan  ]
[ 原始碼: lbt  ]

套件: lbt (1.2.2-6) [universe]

lbt 的相關超連結

Screenshot

Ubuntu 的資源:

下載原始碼套件 lbt

維護者:

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainers (usually from Debian):

It should generally not be necessary for users to contact the original maintainer.

外部的資源:

相似套件:

converts from LTL formulas to Büchi automata

其他與 lbt 有關的套件

  • 依賴
  • 推薦
  • 建議
  • enhances
  • dep: libc6 (>= 2.14) [amd64]
    GNU C Library: Shared libraries
    同時作為一個虛擬套件由這些套件提供: libc6-udeb
    dep: libc6 (>= 2.17) [arm64, ppc64el]
    dep: libc6 (>= 2.7) [armhf, i386, s390x]
  • dep: libstdc++6 (>= 5)
    GNU Standard C++ Library v3
  • rec: graphviz
    rich set of graph drawing tools

下載 lbt

下載可用於所有硬體架構的
硬體架構 套件大小 安裝後大小 檔案
amd64 29.4 kB94.0 kB [文件列表]
arm64 25.8 kB83.0 kB [文件列表]
armhf 25.3 kB65.0 kB [文件列表]
i386 29.6 kB89.0 kB [文件列表]
ppc64el 27.5 kB165.0 kB [文件列表]
s390x 27.8 kB98.0 kB [文件列表]