mirrors/sby
3
0
Fork 0
mirror of https://github.com/YosysHQ/sby.git synced 2026-03-30 19:49:06 +00:00
Code Activity
sby/tools
History
dependabot[bot] 50c7159e22
Merge 57758c74b1 into ab5bf1c10b
2026-03-27 21:03:12 +01:00
..
aigcexmin Bump tracing-subscriber from 0.3.19 to 0.3.20 in /tools/aigcexmin 2025-08-29 20:58:12 +00:00
cexenum use aigmap instead of abc for AIG mapping 2026-03-23 11:40:18 +01:00
README.md Add aigcxemin and cexenum.py tools 2023-11-16 13:46:25 +01:00

README.md

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