search

mht208 / homebrew-formal

Homebrew formulae for formal methods
37 stars 10 forks source link

Update aiger #31

Closed lou1306 closed 3 months ago

lou1306 commented 4 months ago

As per the title, this PR upddates the aiger formula to version 1.9.19 (now hosted on GitHub).