README.ipynb

{"cells":[{"cell_type":"markdown","metadata":{},"source":["## Introduction\n\n"]},{"cell_type":"markdown","metadata":{},"source":["[This repository](https://github.com/tamura70/taocp-sat/) provides Linux binaries and PDF files produced from the CWEB programs written by [Donald E. Knuth](https://www-cs-faculty.stanford.edu/~knuth/) for \"Satisfiability\", Volume 4 Fascicle 6 of [The Art of Computer Programming](https://www-cs-faculty.stanford.edu/~knuth/taocp.html) (TAOCP).  The original CWEB programs were obtained on March 19, 2019 from:\n\n-   [https://www-cs-faculty.stanford.edu/~knuth/programs.html](https://www-cs-faculty.stanford.edu/~knuth/programs.html)\n\nThey were compiled on Ubuntu 18.04 with TeX Live 2018 by using the following Perl script.\n\n-   [http://bach.istc.kobe-u.ac.jp/lect/taocp-sat/knuth/install.pl](http://bach.istc.kobe-u.ac.jp/lect/taocp-sat/knuth/install.pl)\n\nThere were some errors during the compilation (see the following log file).  Therefore, it is not guaranteed the compiled programs and PDFs are correct.\n\n-   [http://bach.istc.kobe-u.ac.jp/lect/taocp-sat/knuth/install.log](http://bach.istc.kobe-u.ac.jp/lect/taocp-sat/knuth/install.log)\n\nThese programs can be executed in [Jupyter](http://jupyter.org) notebooks on [Binder](https://mybinder.org) with bash kernel.\n\n-   [https://mybinder.org/v2/gh/tamura70/taocp-sat-bash/master?urlpath=lab/tree/notebooks/index.ipynb>](https://mybinder.org/v2/gh/tamura70/taocp-sat-bash/master?urlpath=lab/tree/notebooks/index.ipynb>)(in Japanese)\n\nSee the following web page for more details of how to run Knuth's programs.\n\n-   [Knuth先生の『TAOCP 7.2.2.2 Satisfiability』を読む](http://bach.istc.kobe-u.ac.jp/lect/taocp-sat/) (in Japanese)\n\n"]},{"cell_type":"markdown","metadata":{},"source":["## Credits/Links\n\n"]},{"cell_type":"markdown","metadata":{},"source":["-   [Jupyter](http://jupyter.org)\n-   [Binder](https://mybinder.org)\n\n"]}],"metadata":{"org":null,"kernelspec":{"display_name":"Python 3","language":"python","name":"python3"},"language_info":{"codemirror_mode":{"name":"ipython","version":3},"file_extension":".py","mimetype":"text/x-python","name":"python","nbconvert_exporter":"python","pygments_lexer":"ipython3","version":"3.5.2"}},"nbformat":4,"nbformat_minor":0}