https://github.com/jpf/sat0

The "SAT0" program from Don Knuth's list of "Programs to Read"
https://github.com/jpf/sat0

Last synced: 11 months ago
JSON representation

The "SAT0" program from Don Knuth's list of "Programs to Read"

• Host: GitHub
• URL: https://github.com/jpf/sat0
• Owner: jpf
• Created: 2015-10-22T19:49:55.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2015-10-22T20:02:31.000Z (over 10 years ago)
• Last Synced: 2025-07-02T05:46:29.693Z (12 months ago)
• Language: C
• Homepage: http://www-cs-faculty.stanford.edu/~uno/programs.html
• Size: 340 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# sat0

The "SAT0" program from Don Knuth's list of "Programs to Read"

This is a repositoy that contains the "untangled" version of Don Knuths WEB program "sat0".

Here is how I generated the files in this repository:

Download the `sat0.w` file:

    wget http://www-cs-faculty.stanford.edu/~uno/programs/sat0.w

Install the cweb suite of programs, this is how I do it on Mac OS X:

    brew install cweb

"Weave" the `.tex` file from the WEB program and convert it to PostScript:

    cweave sat0.w

    tex sat0.tex

    dvips sat0.dvi

(I converted the `.ps` file that `dvips` creates using the Preview.app program on Mac OS X)

Lastly, "tangle" the `.c` file from the WEB program:

    ctangle sat0.w 

Thus, from the single `sat0.w` file, we get the documentation in `sat0.pdf` and the C source code in `sat0.c`