Paquet : lbt (1.2.2-7)

Liens pour lbt

Ressources Debian :

Télécharger le paquet source lbt :

Responsables :

Ressources externes :

Page d'accueil [www.tcs.hut.fi]

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

dep: libc6 (>= 2.7)

bibliothèque C GNU : bibliothèques partagées
un paquet virtuel est également fourni par libc6-udeb
dep: libstdc++6 (>= 5)

bibliothèque standard C++ de GNU v3

rec: graphviz

ensemble complet d'outils pour tracer des graphes

Télécharger lbt

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
s390x	28,0 ko	96,0 ko	[liste des fichiers]