Paquet : lbt (1.2.2-7 et autres)

[ Paquet source : lbt  ]

Convertit des formules LTL en automates Büchi

Ce logiciel convertit une formule logique temporelle linéaire (ltl) en un automate de Büchi. L'automate résultant peut être utilisé, par exemple, pour vérifier un modèle où il représente une propriété du modèle à vérifier (par exemple un réseau de Petri).

Étiquettes: Domaine: Mathématiques, Interface utilisateur: Ligne de commande, Rôle: role::program, scope::utility, But: Conversion de données

Autres paquets associés à lbt

• dep: libc6 (>= 2.11) [hppa]

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6-udeb

  dep: libc6 (>= 2.14) [amd64]

  dep: libc6 (>= 2.16) [x32]

  dep: libc6 (>= 2.17) [ppc64el]

  dep: libc6 (>= 2.30) [sh4]

  dep: libc6 (>= 2.34) [riscv64]

  dep: libc6 (>= 2.38) [arm64]

  dep: libc6 (>= 2.7) [armel, armhf, i386, m68k, mips64el, ppc64, s390x, sparc64]

• dep: libc6.1 (>= 2.30) [ia64]

  bibliothèque C GNU : bibliothèques partagées
  un paquet virtuel est également fourni par libc6.1-udeb

  dep: libc6.1 (>= 2.7) [alpha]

• dep: libgcc-s1 (>= 3.0) [sh4, sparc64]

  bibliothèque de prise en charge de GCC

• dep: libgcc-s2 (>= 4.2.1) [m68k]

  bibliothèque de prise en charge de GCC

• dep: libgcc-s4 (>= 4.1.1) [hppa]

  bibliothèque de prise en charge de GCC

• dep: libstdc++6 (>= 11) [arm64, riscv64]

  bibliothèque standard C++ de GNU v3

  dep: libstdc++6 (>= 5) [non arm64, riscv64]

• rec: graphviz

  ensemble complet d'outils pour tracer des graphes

Télécharger lbt

Télécharger pour toutes les architectures proposées

Architecture	Version	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	1.2.2-7	30,0 ko	104,0 ko	[liste des fichiers]
amd64	1.2.2-7	29,9 ko	100,0 ko	[liste des fichiers]
arm64	1.2.2-7+b1	31,6 ko	169,0 ko	[liste des fichiers]
armel	1.2.2-7	26,0 ko	82,0 ko	[liste des fichiers]
armhf	1.2.2-7	26,3 ko	66,0 ko	[liste des fichiers]
hppa (portage non officiel)	1.2.2-7	28,6 ko	87,0 ko	[liste des fichiers]
i386	1.2.2-7	31,0 ko	102,0 ko	[liste des fichiers]
ia64 (portage non officiel)	1.2.2-7	35,7 ko	136,0 ko	[liste des fichiers]
m68k (portage non officiel)	1.2.2-7	25,3 ko	86,0 ko	[liste des fichiers]
mips64el	1.2.2-7	28,5 ko	97,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	1.2.2-7	31,2 ko	168,0 ko	[liste des fichiers]
ppc64el	1.2.2-7	31,2 ko	168,0 ko	[liste des fichiers]
riscv64	1.2.2-7+b1	30,8 ko	89,0 ko	[liste des fichiers]
s390x	1.2.2-7	28,0 ko	96,0 ko	[liste des fichiers]
sh4 (portage non officiel)	1.2.2-7	28,5 ko	70,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	1.2.2-7	25,9 ko	89,0 ko	[liste des fichiers]
x32 (portage non officiel)	1.2.2-7	29,8 ko	94,0 ko	[liste des fichiers]