btor2tools

v 20230816 Updated: 4 months ago

a generic parser and tools for the BTOR2 format

The Btor2Tools package provides a generic parser and tools for the BTOR2 format.

https://github.com/Boolector/btor2tools

To install btor2tools, paste this in macOS terminal after installing MacPorts

sudo port install btor2tools

Add to my watchlist

Installations 1
Requested Installations 0