New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix docs typos #1394

Merged

nex3 merged 1 commit into dart-lang:master from sdboyer:patch-1

Feb 16, 2016

Contributor

sdboyer commented Feb 15, 2016

I am reasonably certain these fixes will enhance the performance of your SAT solver by 72%, but YMMV


          Fix docs typos

6331d1a

nex3 added a commit that referenced this pull request


          Merge pull request #1394 from sdboyer/patch-1

54b0ed7

Fix docs typos

nex3 merged commit 54b0ed7 into dart-lang:master

Member

nex3 commented Feb 16, 2016

Thanks for the fixes!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet