btor2tools (math/btor2tools) Updated: 9 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
2024-Oct-23 to 2024-Nov-22
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.