search

meelgroup / approxmc

Approximate Model Counter
Other
70 stars 26 forks source link

Spelling Fixes #30

Closed THE-Spellchecker closed 1 year ago

THE-Spellchecker commented 1 year ago

Corrections to spelling mistakes found in the code

image

msoos commented 1 year ago

Yaaaay that was great thanks!