toutes les options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Paquet source : lbt  ]

Paquet : lbt (1.2.2-7)

Liens pour lbt

Screenshot

Ressources Debian :

Télécharger le paquet source lbt :

Responsables :

Ressources externes :

Paquets similaires :

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

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger lbt

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
amd64 29,9 ko100,0 ko [liste des fichiers]
arm64 28,7 ko88,0 ko [liste des fichiers]
armel 26,0 ko82,0 ko [liste des fichiers]
armhf 26,3 ko66,0 ko [liste des fichiers]
i386 31,0 ko102,0 ko [liste des fichiers]
mips64el 28,5 ko97,0 ko [liste des fichiers]
mipsel 28,2 ko90,0 ko [liste des fichiers]
ppc64el 31,2 ko168,0 ko [liste des fichiers]
s390x 28,0 ko96,0 ko [liste des fichiers]