mht208 / homebrew-formal

Homebrew formulae for formal methods
37 stars 10 forks source link

Cudd formula links are down #19

Open Zialus opened 6 years ago

Zialus commented 6 years ago

Both http://vlsi.colorado.edu/ and ftp://vlsi.colorado.edu/ have been offline for some time.

mht208 commented 6 years ago

Updated to use an unofficial mirror on GitHub.