search

meelgroup / approxmc

Approximate Model Counter
Other
70 stars 26 forks source link

README bug #28

Closed evanlohn closed 2 years ago

evanlohn commented 2 years ago

approxmc also required me to sudo apt-get install libgmp3-dev before I could build without issues; might be worth adding it to the README

msoos commented 2 years ago

Thanks! Great find! Just fixed it :)