SAT solvers
Literate programming, implementations and their containers.
Posted on January 28, 2026
| 1 min
| 158 words
| Donald E. Knuth
The Stanford GraphBase and CWEB
A Platform for Combinatorial Computing and a System of Structured Documentation
Posted on January 25, 2026
| 1 min
| 25 words
| Donald E. Knuth