Description
BTOR2 hardware-model files can be parsed and processed with generic command-line tools. It is useful for researchers and developers working with formal verification, model checking, or hardware transition systems.
This is a specialized development tool package, not an end-user app. Use it when a verification workflow or research project explicitly uses the BTOR2 format.