Option to use btor2aiger to generate aig files from btor#266
Open
KrystalDelusion wants to merge 8 commits intomainfrom krys/btor2aiger
+368-4
Commits
Commits on Apr 6, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
