btor2tools (math/btor2tools) Updated: 2 years 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
2026-Feb-07 to 2026-Mar-09
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.