Package: wnpp Severity: wishlist X-Debbugs-Cc: Package Salvaging Team <[email protected]>, [email protected]
Subject: ITP: btor2tools -- generic parser and tools for the BTOR2 format Package: wnpp Owner: Andreas Tille <[email protected]> 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
