This repository provides Linux binaries and PDF files produced from the CWEB programs written by Donald E. Knuth for “Satisfiability”, Volume 4 Fascicle 6 of The Art of Computer Programming (TAOCP). The original CWEB programs were obtained on March 19, 2019 from:
They were compiled on Ubuntu 18.04 with TeX Live 2018 by using the following Perl script.
There were some errors during the compilation (see the following log file). Therefore, it is not guaranteed the compiled programs and PDFs are correct.
- https://mybinder.org/v2/gh/tamura70/taocp-sat-py/master?urlpath=lab/tree/notebooks/index.ipynb (in Japanese)
If you want to run this on Google Colaboratory, use the following link.
- https://colab.research.google.com/github/tamura70/taocp-sat-py/blob/master/notebooks/index.ipynb (in Japanese)
See the following web page for more details of how to run Knuth’s programs.
- Knuth先生の『TAOCP 18.104.22.168 Satisfiability』を読む (in Japanese)