Watch file results

component: main
debian_mangled_uversion: 1.0.3
debian_uversion: 1.0.3
distribution: debian
last_check: 2026-10-13 15:50:02.089188
metadata: Bug-Database: https://github.com/hwmcc/btor2tools/issues Bug-Submit: https://github.com/hwmcc/btor2tools/issues/new Reference: - Author: A. Niemetz and M. Preiner and C. Wolf, C. and A. Biere Title: BTOR2 Repository-Browse: https://github.com/hwmcc/btor2tools , BtorMC and Boolector 3.0 Journal: Springer Nature Link Year: 2018 Repository: https://github.com/hwmcc/btor2tools.git Repository-Browse: https://github.com/hwmcc/btor2tools DOI: 10.1007/978-3-319-96145-3_32 eprint: https://link.springer.com/content/pdf/10.1007/978-3-319-96145-3.pdf
release: sid
source: btor2tools
status: up to date
upstream_url: https://api.github.com/repos/hwmcc/btor2tools/tarball/refs/tags/1.0.3
upstream_version: 1.0.3
version: 1.0.3-1
watch_file: 
Version: 5

Template: Github
Dist: https://github.com/hwmcc/btor2tools