Gbury / mSAT

A modular sat/smt solver with proof output.
https://gbury.github.io/mSAT/
Apache License 2.0
97 stars 8 forks source link

Fix a typo #20

Closed aspiwack closed 5 years ago

aspiwack commented 5 years ago

English doesn't allow “allows to” as a form (it needs to be “allows to” or something like this).

A workaround is to use the phrase "make it possible to”, but in this case, I don't think it was warranted, so I simply used a more direct phrase.

Gbury commented 5 years ago

Great thanks !