Paquet : btor2tools (1.0.2~git20250918.d33c73f-1)

[ Paquet source : btor2tools  ]

outils et analyseur génériques pour le format BTOR2

BTOR2 est un format de vérification de modèles au niveau des mots permettant de capturer des modèles de matériel et éventuellement de logiciels avec une précision au bit près. Ce format simple, basé sur des lignes et facile à analyser peut être considéré comme une extension triée du format au niveau des mots BTOR. Il utilise les principes de conception du format au niveau des bits AIGER et suit la sémantique des logiques SMT-LIB des vecteurs de bits avec tableaux. Ce format intermédiaire peut être utilisé dans divers flux de vérification et est parfaitement adapté pour établir une compétition de vérification de modèles au niveau des mots.

Autres paquets associés à btor2tools

• dep: libbtor2parser0 (>= 1.0.2~git20250918.d33c73f)

  library for generic parser and tools for the BTOR2 format

• dep: libc6 (>= 2.34) [non alpha, loong64, sh4]

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

  dep: libc6 (>= 2.42) [loong64, sh4]

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

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

• dep: libgcc-s1 (>= 3.0) [amd64, arm64, loong64, ppc64, ppc64el, riscv64, x32]

  bibliothèque de prise en charge de GCC

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

  dep: libgcc-s1 (>= 4.2) [alpha, i386, s390x, sh4, sparc64]

• 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 (>= 13.1)

  bibliothèque standard C++ de GNU v3

Télécharger btor2tools

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

Architecture	Taille du paquet	Espace occupé une fois installé	Fichiers
alpha (portage non officiel)	60,3 ko	341,0 ko	[liste des fichiers]
amd64	64,6 ko	196,0 ko	[liste des fichiers]
arm64	60,2 ko	340,0 ko	[liste des fichiers]
armhf	55,3 ko	273,0 ko	[liste des fichiers]
hppa (portage non officiel)	61,9 ko	172,0 ko	[liste des fichiers]
i386	70,3 ko	209,0 ko	[liste des fichiers]
loong64	64,4 ko	339,0 ko	[liste des fichiers]
m68k (portage non officiel)	54,8 ko	169,0 ko	[liste des fichiers]
ppc64 (portage non officiel)	64,0 ko	340,0 ko	[liste des fichiers]
ppc64el	66,0 ko	340,0 ko	[liste des fichiers]
riscv64	60,7 ko	148,0 ko	[liste des fichiers]
s390x	65,9 ko	208,0 ko	[liste des fichiers]
sh4 (portage non officiel)	65,6 ko	273,0 ko	[liste des fichiers]
sparc64 (portage non officiel)	52,6 ko	3 096,0 ko	[liste des fichiers]
x32 (portage non officiel)	64,0 ko	185,0 ko	[liste des fichiers]