B

btor2tools

Project information

generic parser and tools for the BTOR2 format

13 Commits
3 Branches
1 Tag

README
MIT License

Created on

August 20, 2025

Loading