Bug#1111868: ITP: btor2tools -- generic parser and tools for the BTOR2 format

[Andreas Tille]

Package: wnpp
Severity: wishlist
X-Debbugs-Cc: Package Salvaging Team <team+salvage at tracker.debian.org>, 922877 at bugs.debian.org

Subject: ITP: btor2tools -- generic parser and tools for the BTOR2 format
Package: wnpp
Owner: Andreas Tille <tille at 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