search

meelgroup / approxmc

Approximate Model Counter
Other
70 stars 26 forks source link

README.md install tools at same dir level #53

Closed tanyongkiam closed 4 months ago

tanyongkiam commented 4 months ago

The current instructions gives a slightly awkward nested folder structure (CMS/sbva/arjun) when copy-pasted directly which I guess (?) is unintended.

msoos commented 4 months ago

Oh wow, thank you so much!