Tarkennettu haku
forky  ] [  sid  ]
[ Source: btor2tools  ]

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

Links for libbtor2parser-dev

Screenshot

Debian-palvelut:

Imuroi lähdekoodipaketti btor2tools:

Ylläpitäjät:

External Resources:

Samankaltaisia paketteja:

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.

Muut pakettiin libbtor2parser-dev liittyvät paketit

  • depends
  • recommends
  • suggests
  • enhances

Imuroi libbtor2parser-dev

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
alpha (epävirallinen siirros) 18.6 kt96.0 kt [tiedostoluettelo]
amd64 17.3 kt69.0 kt [tiedostoluettelo]
arm64 17.3 kt70.0 kt [tiedostoluettelo]
armhf 17.9 kt53.0 kt [tiedostoluettelo]
hppa (epävirallinen siirros) 19.2 kt64.0 kt [tiedostoluettelo]
i386 20.3 kt67.0 kt [tiedostoluettelo]
loong64 44.1 kt405.0 kt [tiedostoluettelo]
m68k (epävirallinen siirros) 17.1 kt55.0 kt [tiedostoluettelo]
ppc64 (epävirallinen siirros) 18.7 kt81.0 kt [tiedostoluettelo]
ppc64el 21.5 kt102.0 kt [tiedostoluettelo]
riscv64 48.2 kt460.0 kt [tiedostoluettelo]
s390x 17.6 kt74.0 kt [tiedostoluettelo]
sh4 (epävirallinen siirros) 19.0 kt55.0 kt [tiedostoluettelo]
sparc64 (epävirallinen siirros) 15.8 kt72.0 kt [tiedostoluettelo]
x32 (epävirallinen siirros) 17.8 kt61.0 kt [tiedostoluettelo]