3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2025-04-04 13:54:07 +00:00
sby/tools/README.md
2023-11-16 13:46:25 +01:00

262 B

SBY - Additional Tools

This directory contains various tools that can be used in conjunction with SBY.

  • aigcexmin Counter-example minimization of AIGER witness (.aiw) files
  • cexenum Enumeration of minimized counter-examples