Generic parser and tool package for the BTOR2 format
The Btor2Tools package provides a generic parser and tools for the BTOR2 format. Btor2 is a word-level model checking format for capturing models of hardware and potentially software in a bit-precise manner.
$
pkg install btor2toolsOrigin
math/btor2tools
Size
184KiB
License
MIT
Maintainer
yuri@FreeBSD.org
Dependencies
0 packages
Required by
1 packages