mirror of
https://github.com/YosysHQ/sby.git
synced 2025-04-12 00:23:35 +00:00
7 lines
262 B
Markdown
7 lines
262 B
Markdown
# SBY - Additional Tools
|
|
|
|
This directory contains various tools that can be used in conjunction with SBY.
|
|
|
|
* [`aigcexmin`](./aigcexmin) Counter-example minimization of AIGER witness (.aiw) files
|
|
* [`cexenum`](./cexenum) Enumeration of minimized counter-examples
|