Paket: libbtor2parser-dev (1.0.2~git20250918.d33c73f-1)

Länkar för libbtor2parser-dev

Debianresurser:

Hämta källkodspaketet btor2tools:

Ansvariga:

Externa resurser:

Hemsida [github.com]

Liknande paket:

development lib 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 header file and the static library.

Andra paket besläktade med libbtor2parser-dev

beror

rekommenderar

föreslår

enhances

dep: libbtor2parser0 (= 1.0.2~git20250918.d33c73f-1)

library for generic parser and tools for the BTOR2 format

Hämta libbtor2parser-dev

Hämtningar för alla tillgängliga arkitekturer
Arkitektur	Paketstorlek	Installerad storlek	Filer
alpha (inofficiell anpassning)	18,6 kbyte	96,0 kbyte	[filförteckning]
amd64	17,3 kbyte	69,0 kbyte	[filförteckning]
arm64	17,3 kbyte	70,0 kbyte	[filförteckning]
armhf	17,9 kbyte	53,0 kbyte	[filförteckning]
hppa (inofficiell anpassning)	19,2 kbyte	64,0 kbyte	[filförteckning]
i386	20,3 kbyte	67,0 kbyte	[filförteckning]
loong64	44,1 kbyte	405,0 kbyte	[filförteckning]
m68k (inofficiell anpassning)	17,1 kbyte	55,0 kbyte	[filförteckning]
ppc64 (inofficiell anpassning)	18,7 kbyte	81,0 kbyte	[filförteckning]
ppc64el	21,5 kbyte	102,0 kbyte	[filförteckning]
riscv64	48,2 kbyte	460,0 kbyte	[filförteckning]
s390x	17,6 kbyte	74,0 kbyte	[filförteckning]
sh4 (inofficiell anpassning)	19,0 kbyte	55,0 kbyte	[filförteckning]
sparc64 (inofficiell anpassning)	15,8 kbyte	72,0 kbyte	[filförteckning]
x32 (inofficiell anpassning)	17,8 kbyte	61,0 kbyte	[filförteckning]