Paquet : mona (1.4-18-1 et autres)

[ Paquet source : mona  ]

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

• dep: libc6 (>= 2.16) [x32]

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

  dep: libc6 (>= 2.32) [sh4]

  dep: libc6 (>= 2.34) [amd64, armel, armhf, i386, mips64el, ppc64el, riscv64, s390x]

  dep: libc6 (>= 2.38) [arm64]

  dep: libc6 (>= 2.7) [hppa, m68k, ppc64, sparc64]

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

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

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

• dep: libgcc-s1 (>= 3.0) [non armel, armhf, hppa, ia64, m68k]

  bibliothèque de prise en charge de GCC

  dep: libgcc-s1 (>= 3.5) [armel, armhf]

  dep: libgcc-s1 (>= 4.2) [ia64]

• 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) [non arm64, riscv64]

  bibliothèque standard C++ de GNU v3

  dep: libstdc++6 (>= 13.1) [riscv64]

  dep: libstdc++6 (>= 14) [arm64]

• dep: libunwind8 [ia64]

  bibliothèque pour déterminer la chaîne d'appel d'un programme –⋅exécutable

• rec: graphviz

  ensemble complet d'outils pour tracer des graphes

Télécharger mona

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.4-18-1	332,6 ko	1 854,0 ko	[liste des fichiers]
amd64	1.4-18-1+b1	317,1 ko	1 394,0 ko	[liste des fichiers]
arm64	1.4-18-1+b2	284,8 ko	1 656,0 ko	[liste des fichiers]
armel	1.4-18-1+b1	260,9 ko	1 383,0 ko	[liste des fichiers]
armhf	1.4-18-1+b1	269,3 ko	1 146,0 ko	[liste des fichiers]
hppa (portage non officiel)	1.4-18-1	320,2 ko	1 264,0 ko	[liste des fichiers]
i386	1.4-18-1+b1	326,8 ko	1 362,0 ko	[liste des fichiers]
ia64 (portage non officiel)	1.4-18-1	351,1 ko	2 274,0 ko	[liste des fichiers]
m68k (portage non officiel)	1.4-18-1	256,4 ko	1 116,0 ko	[liste des fichiers]
mips64el	1.4-18-1+b1	292,6 ko	1 987,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	1.4-18-1	318,1 ko	2 070,0 ko	[liste des fichiers]
ppc64el	1.4-18-1+b1	325,0 ko	1 929,0 ko	[liste des fichiers]
riscv64	1.4-18-1+b1	428,2 ko	2 685,0 ko	[liste des fichiers]
s390x	1.4-18-1+b1	286,8 ko	1 462,0 ko	[liste des fichiers]
sh4 (portage non officiel)	1.4-18-1	304,6 ko	1 009,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	1.4-18-1	258,4 ko	1 428,0 ko	[liste des fichiers]
x32 (portage non officiel)	1.4-18-1	307,2 ko	1 198,0 ko	[liste des fichiers]