A small program showing how big the formulas in the proof of the NP-completeness of SAT by Cook & Levin are
- Rust 76.5%
- HTML 11.1%
- Python 6%
- CSS 5%
- Dockerfile 1%
- Other 0.4%
| sat-npc-lib | lib: fix off-by-one error | |
| sat-npc-web | web: add link to repo | |
| .dockerignore | add docker file | |
| .gitignore | add docker file | |
| deploy.sh | add docker file | |
| Dockerfile | add docker file | |