Bug#1111868: ITP: btor2tools -- generic parser and tools for the BTOR2 format
Package: wnpp
Severity: wishlist
X-Debbugs-Cc: Package Salvaging Team <team+salvage@tracker.debian.org>, 922877@bugs.debian.org
Subject: ITP: btor2tools -- generic parser and tools for the BTOR2 format
Package: wnpp
Owner: Andreas Tille <tille@debian.org>
Severity: wishlist
* Package name : btor2tools
Version : 1.0.2~git20250507.fb69ee3
Upstream Author : Armin Biere.
* URL : https://github.com/boolector/btor2tools
* License : expat
Programming Lang: C
Description : 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.
Remark: This package is maintained by Debian Science Maintainers at
https://salsa.debian.org/science-team/btor2tools
Reply to: