Skip to content

Commit

Permalink
📚 docs(README): Add emoji heading and section logos.
Browse files Browse the repository at this point in the history
  • Loading branch information
make-github-pseudonymous-again committed Oct 28, 2020
1 parent 9988437 commit b4b2319
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
[@aureooms/js-sat](https://aureooms.github.io/js-sat)
:satisfied: [@aureooms/js-sat](https://aureooms.github.io/js-sat)
==

<img src="https://imgs.xkcd.com/comics/np_complete.png" width="864">
Expand Down Expand Up @@ -41,7 +41,7 @@ for ( let certificate of sat.solve( instance ) ) {
[![Documentation](https://aureooms.github.io/js-sat/badge.svg)](https://aureooms.github.io/js-sat/source.html)
[![Package size](https://img.shields.io/bundlephobia/minzip/@aureooms/js-sat)](https://bundlephobia.com/result?p=@aureooms/js-sat)

## Reference
## :scroll: Reference

- [Simple solver in Python](http://sahandsaba.com/understanding-sat-by-implementing-a-simple-sat-solver-in-python.html)
- [SATLIB](http://www.cs.ubc.ca/~hoos/SATLIB/benchm.html)

0 comments on commit b4b2319

Please sign in to comment.