btor2tools (math/btor2tools) Updated: 1 year, 10 months ago Add to my watchlist
a generic parser and tools for the BTOR2 formatThe Btor2Tools package provides a generic parser and tools for the BTOR2 format.
Version: 20230816 License: MIT
GitHub
Statistics for selected duration
2025-Nov-24 to 2025-Dec-24
No stats available for this selection.
Try changing the range of days. Alternatively visit statistics page to have an overall look at the submitted statistics.