mirror of
https://github.com/YosysHQ/sby.git
synced 2025-11-04 06:39:11 +00:00
6 lines
262 B
Markdown
6 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
|