Skip to content

bump aiger version and support arbitrary initialization functions in btor2aiger#20

Closed
gipsyh wants to merge 1 commit intohwmcc:masterfrom gipsyh:master
+5-11

Commits