search

mht208 / homebrew-formal

Homebrew formulae for formal methods
36 stars 10 forks source link

Updated CBMC to the latest version. Moved the request over to Github… #13

Closed DanielNeville closed 8 years ago

DanielNeville commented 8 years ago

…, added option for Symex.