README.md

README

Knuth先生の『TAOCP 7.2.2.2 Satisfiability』を読む のプログラムを https://gitpod.io で実行するためのリポジトリです．

• リポジトリ: https://github.com/tamura70/taocp-sat-gitpod
• GitPod実行用URL: https://gitpod.io/#https://github.com/tamura70/taocp-sat-gitpod

ディレクトリ構成

• knuth/ : Knuth作のプログラムおよびドキュメント
  • knuth/install.pl : Knuth作のプログラムおよびドキュメントの作成に用いたPerlスクリプト
  • knuth/sat-examples/README : README
  • knuth/bin/ : SATソルバーなどの実行ファイル
  • knuth/pdf/ : SATソルバーなどのプログラムのドキュメント
• prog/ : tamura70作のプログラムなど

Knuth作のプログラムおよびドキュメントは， KnuthのHP からtamura70がダウンロードし， CWEB を用いてコンパイルした．