Search Portage & Overlays:
Newest
News
Repository news
GLSAs
Browse
USE Flags
Overlays
More...
sci-mathematics
/btor2tools
Generic parser and tools for the BTOR2 format
Screenshots
https://github.com/Boolector/btor2tools/
btor2tools-1.0.0_pre20220518-r1
~amd64 ~x86
examples
View
Download
Browse
License: MIT
Overlay:
gentoo
ChangeLog
USE Flags
Dependencies
Reverse Deps
Related Bugs
Runtime Dependencies
btor2tools-1.0.0_pre20220518-r1