Alle Optionen
sid  ]
[ Quellcode: btor2tools  ]

Paket: libbtor2parser0 (1.0.2~git20250918.d33c73f-1)

Links für libbtor2parser0

Screenshot

Debian-Ressourcen:

Quellcode-Paket btor2tools herunterladen:

Betreuer:

Externe Ressourcen:

Ähnliche Pakete:

library for generic parser and tools for the BTOR2 format

BTOR2 is a word-level model checking format for capturing models of hardware and potentially software in a bit-precise manner. This simple, line-based and easy to parse format can be seen as a sorted extension of the word-level format BTOR. It uses design principles from the bit-level format AIGER and follows semantics of the SMT-LIB logics of bit-vectors with arrays. This intermediate format can be used in various verification flows and is perfectly suited to establish a word-level model checking competition.

This package provides the shared library.

Andere Pakete mit Bezug zu libbtor2parser0

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • erweitert

libbtor2parser0 herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
alpha (inoffizielle Portierung) 15,1 kB82,0 kB [Liste der Dateien]
amd64 15,6 kB53,0 kB [Liste der Dateien]
arm64 15,4 kB82,0 kB [Liste der Dateien]
armhf 15,7 kB81,0 kB [Liste der Dateien]
hppa (inoffizielle Portierung) 17,1 kB54,0 kB [Liste der Dateien]
i386 18,3 kB61,0 kB [Liste der Dateien]
loong64 16,3 kB81,0 kB [Liste der Dateien]
m68k (inoffizielle Portierung) 16,1 kB57,0 kB [Liste der Dateien]
ppc64 (inoffizielle Portierung) 17,1 kB81,0 kB [Liste der Dateien]
ppc64el 19,5 kB81,0 kB [Liste der Dateien]
riscv64 16,6 kB45,0 kB [Liste der Dateien]
s390x 15,5 kB53,0 kB [Liste der Dateien]
sh4 (inoffizielle Portierung) 20,8 kB81,0 kB [Liste der Dateien]
sparc64 (inoffizielle Portierung) 13,7 kB1.042,0 kB [Liste der Dateien]
x32 (inoffizielle Portierung) 16,0 kB53,0 kB [Liste der Dateien]