Option to use btor2aiger to generate aig files from btor #401
Annotations
1 error
|
Run checks
Process completed with exit code 2.
|
Loading