Paquet : mona (1.4-17-2)

Liens pour mona

Ressources Debian :

Télécharger le paquet source mona :

Responsables :

Ressources externes :

Page d'accueil [www.brics.dk]

Paquets similaires :

démonstration automatique de théorèmes

MONA est un outil pour traduire des formules de logiques WS1S ou WS2S dans des automates avec un nombre fini d'état représentés par des diagrammes de décision binaire (BDD). Les formules peuvent exprimer des modèles de recherche, des propriétés temporelles de systèmes réactifs, des contraintes d’analyse d’arbre, etc. MONA analyse aussi l’automate résultant de la compilation et détermine si la formule est valable ou non, et si elle ne l’est pas, crée un contre-exemple.

La documentation est disponible sur le site web de MONA, http://www.brics.dk/mona/.

Étiquettes: Domaine: Mathématiques, Rôle: Programme, Champ d'application: Utilitaire

Autres paquets associés à mona

dépendances

recommandations

suggestions

enhances

dep: libc6 (>= 2.14) [amd64]

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

dep: libc6 (>= 2.17) [arm64, ppc64el]

dep: libc6 (>= 2.7) [non amd64, arm64, ppc64el]
dep: libgcc1 (>= 1:3.0) [non armel, armhf]

Paquet indisponible

dep: libgcc1 (>= 1:3.5) [armel, armhf]
dep: libstdc++6 (>= 5)

bibliothèque standard C++ de GNU v3

rec: graphviz

ensemble complet d'outils pour tracer des graphes

Télécharger mona

Télécharger pour toutes les architectures proposées
Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
amd64	309,8 ko	1 368,0 ko	[liste des fichiers]
arm64	277,5 ko	1 327,0 ko	[liste des fichiers]
armel	250,9 ko	1 072,0 ko	[liste des fichiers]
armhf	260,0 ko	878,0 ko	[liste des fichiers]
i386	319,7 ko	1 324,0 ko	[liste des fichiers]
mips64el	289,1 ko	1 695,0 ko	[liste des fichiers]
mipsel	285,1 ko	1 432,0 ko	[liste des fichiers]
ppc64el	312,6 ko	1 787,0 ko	[liste des fichiers]
s390x	277,8 ko	1 439,0 ko	[liste des fichiers]