btor2tools (math/btor2tools) Updated: 10 months, 3 weeks 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
2024-Dec-11 to 2025-Jan-10
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.